Page "Hilbert-space direct sum" not found :(