For the axis-angle composition of orthogonal spin rotations, set and . Multiplication, including , givesOne checks that . For , chooseThis choice retains the full spinor sign and gives . Repeated periods have the same axis:Thus the spin expectation vector rotates through , interpreted modulo as a spatial rotation. The positive component comes from the stated ordering; reversing the two rotations changes that component's sign.