 It should be noted that generalized Hilbert spaces have been constructed over fairly exotic division  rings.[17]  Thus, while it brings us tantalizingly close, Piron’s theorem does not quite bring us all the way back to orthodox quantum mechanics.