Things we know about spin in quantum mechanics