A Logical Approach to the Statement of Affairs. | Synapse