A Preconditional Operation

Actors (1)