Then teacher derives the specific components of rotation (and coincidentally reflection) matrices from the condition that they preserve lengths. Note: use lecture is a good opportunity to go back-and-forth between bra-ket language and matrices written as rows and columns of explicit components.

rewrite this lecture as a follow-up to the components activities. Shorten!