Apparently sorting IsInOptimal in normal order gives us false then true. We need it the other way around here.