xy exists constraints :3