Page "Quaternionic Hilbert space" not found :(