i'm uncomfortable about racing. if the "if graph is non-empty" thing is straightforward, that would be good.