Input (grade 13): He also formulated the theory of Hilbert spaces, one of the foundations of functional analysis.
Output (grade 8): This is one of the foundations of functional analysis.