May work proceed on a run that ALREADY exists — resume, approval decide,
signal delivery? Through a drain, yes: a drain that refused these could
never finish, because finishing is what the suspended runs are waiting for.
In proof-only, only the nominated run.
May work proceed on a run that ALREADY exists — resume, approval decide, signal delivery? Through a drain, yes: a drain that refused these could never finish, because finishing is what the suspended runs are waiting for. In proof-only, only the nominated run.