theory-function view 1