Logical Defaultism view 1