Logical Defaultism view 3