Text this: Techniques of Constructive Analysis