Neo-Classical Logic view 1