Record action : Set := AMake {
  aName : actionName
}.
