x − y = −1