Timanese Logic view 3