Defining the Wrongness Constraint | Synapse