The donkey and the monoid dynamic semantics with control elements door