|x| + |y| ≤ 2