|x + y| ≤ 2