tautologyhard.ctree 23.8 KB