Your new employee claims that the lazy lists validation method (described in Lesson Concurrent Data Structures) can be simplied by dropping the check that pred.next is equal to curr. After all, the code always sets pred to the old value of curr, and before pred.next can be changed, the new value of curr must be marked, causing the validation to fail. Explain the error in this reasoning.