Text this: Constructive aspects of functional analysis.