Distinguishing Between Definition, Conjecture, Postulate, Theorem, And Undefined Term