formulaism view 3