Text this: A theory of constructive operators :