AG((ioh.state=PENDING)->AF(ioh.state=OKAY));