formulaism view 2