Text this: Essays in constructive mathematics /