From the notebook

If then reasoning: what a rule actually lets you conclude

Apply a rule in its stated direction and test an invalid reversal using a counterexample.