Axiom itru ≪ | index | src | ≫

true is true.

axiom itru: $ T. $;