Kotula Logic view 2