An Implicit Function Implies Several Contraction Conditions | Synapse