Problem A: Practice
Problem B: Help!
Problem C: Treequivalence
Problem D: Antiarithmetic?
Problem E: Test
