No type or individual with this identifier: #tautology.true_statement