Formal necessity | Synapse