yes, that sort of highly state dependent concurrency might be hard to grasp formally.