Trying to fix up the section on truncation with stuff from wednesday.
More updates to truncation, revisiting the axiom of choice
Finished up discussion of alternative definitions of equivalence.