Timanese Logic view 2