Logical Puritanism view 1