#23 = #24 > #6