formulaism view 1