y + 5 ≥ 7