Direct Reduction of Syllogisms with Byzantine Diagrams | Synapse