Title: Functional analysis (and) Appendix