We already know that `current-board` is not a `valid-solution?`.