The course was enjoyable overall and well organized. However, I don't think I learned as much as I could have for a few reasons: First, the class was much too computational for my taste, and felt more like a sequel to 33A than to 115A. Second, proofs often relied very heavily on unproven lemmas, where all the work lies in the proof of the lemma. We essentially skipped the proofs of most major results in this manner. For instance, our "proof" of the Spectral theorem presumed the existence of an orthonormal basis of eigenvectors, and the only work we did was finding the matrix decomposition corresponding to this basis. Despite these shortcomings, I still enjoyed the lectures as they were very clear and easy to follow. Homework and exams were also very well-made.