enc proof started extending to waits/barriers