Text this: On constructive interpretation of predicative mathematics /