{A}.g {B}.f {A}.g Execution completed