3 <= 3