Constraints on the abstraction of solutions. | Synapse