By the way, `if a implies b and b implies c then a implies c` is the Barbara syllogism. https://en.wikipedia.org/wiki/Syllogism https://en.wikipedia.org/wiki/S

By the way, `if a implies b and b implies c then a implies c` is the Barbara syllogism. https://en.wikipedia.org/wiki/Syllogism https://en.wikipedia.org/wiki/Syllogism