max(0.5) <= 0.5 - 0.5
