Logic and set theory was a fun course.
If then doesn't always = a tautology.