yeah I think that's right.

taking the geometric aspect first and defining operations on points in the plane, showing that it works to match multiplication and rotation.