About 0.00 uses per million words.
metatheorem lemma theory axiom antitheorem philosopheme first truth thesis theorem enthymeme
is