Timanese Logic view 1