@mscroggs Nice! And what if you can only check for equality with x or y? Or can't check for equality at all?