Added Tautology and Contradiction section