Those aren't binary constraints!