10 <= 20 a < b