a transformation matrix rotates a point counterclockwise by an angle θ around the origin. Conceptual explanation/derivation: TODO
