Neo-Classical Logic view 3