This is an especially poor choice of example given that it's the canonical example for STM, and STM actually solves the problem.