Email Record: Constructive aspects of functional analysis.