Text this: Constructive methods in the analysis of non-linear systems.