fixed semantics, defined choices