def less_than_or_equal: .[0] <= .[1];