theory-function view 3