I’ve thought about expanding this into a real lesson at some point, but I’m hampered by not actually being a subject matter expert! I’d add that all of these same properties are true of rotation matrices which are a lot less confusing to work with by hand.