Committing what I have for moving p ~ q into a constraint