Added board.contradictions property