|x-y| <= 1 - xy