Text this: Constryuctive theory of functions