Slowdown checking WIP(2)