The Calculus of the Compatibility of Propositions | Synapse