Can solve problem 1 and problem 3. contradicts? fn doesn't check all possible contradictions. Giving rise to wrong solutions