Runs but suffers from livelock