The donkey and the monoid dynamic semantics with control elements by