Formal description of actions