https://catholicism.org/an-itty-bitty-presentation-of-the-syllogism.html