Email Record: Constructive Aspects of Functional Analysis