Neo-Classical Logic view 2