Single-crossing_condition