ABA problem가 잘 이해가 안돼요

여기에서, 5000번지->6000번지->7000번지 이렇게 각각 연결되어있는데,

interlock을 잡기 이전에 2번의 pop과 1번의 push가 일어났고, 그때 5000번지에 다시 새 데이터가 할당돼서 push된 상황이므로

5000번지 -> 7000번지
인 상황이 만들어졌다고 하셨는데,

애초에 이 상황까지 만들어졌다면 push에서 atomic하게 5000번지가 header에 삽입되는 동시에 5000번지의 next도 7000번지로 바꿔줄텐데

그때 expected = header->next;의 주소가 아직 5000번이라면 5000번지가 pop이되고 5000번지의 next가 header가 되는데, 이미 5000번지의 next는 7000번으로 Push부분에서 이미 변경되었으니 정상적으로 header는 7000번지의 주소를 가리키는게 맞는거 아닌가요?

어떤 부분에서 생각이 틀린건지 잘 이해가 안됩니다.