y' = x - -y