Logical Defaultism view 2