OMTEX CLASSES: Examine tautology contradiction contingency part one