Add a question about simplifying with implications vs with iffs.
Slight wording tweak to question about THEN and THENL.