if x ≥ 0 and