Gave non-dep elim for suspension.
Suspension: basic lemmas, and a somewhat experimental start on Freudenthal.