From explicit to implicit: constraints and explanations | Synapse