Added the concept of contradictions to the board and cell classes