Text this: Techniques of constructive analysis /