theory-function view 2