|x| + | y-4| ≤ 4