Text this: SPIN ALGEBRA AND NAIMARK’S EXTENSION