|x| + |x − 1| -1 = |y|