Enumerator => Enum, ValueDefiniton => Val
contracts Sequence