Init for assignment of week 3.
Fixed Contradiction.
Fixed Tautology.