A Guide to Ivan Orlov's "The calculus of the compatibility of propositions" | Synapse