Kotula Logic view 3