Email Record: Constryuctive theory of functions