 The ekthesis proof is more complicated and was not commonly used by medieval logicians, who preferred proofs through expository syllogisms, a simplification and refinement of the ekthesis. Aristotle’s method can be expressed in terms of the following rules (Patzig 1968 and Smith 1982):