# New keyword 'then' as synonym for ','

**URL:** <https://alloytools.discourse.group/t/new-keyword-then-as-synonym-for/213>\
**Category:** Uncategorized\
**Created:** [December 24, 2021, 8:01am UTC](https://alloytools.discourse.group/t/new-keyword-then-as-synonym-for/213 "2021-12-24T08:01:11Z")\
**Posts on this page:** 1\
**Showing post:** 7

<div class="post-metadata">

**Author:** ![grayswandyr](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/grayswandyr/32/17_2.png) [@grayswandyr](https://alloytools.discourse.group/u/grayswandyr)\
**Post date:** [December 26, 2021, 2:00pm UTC](https://alloytools.discourse.group/t/new-keyword-then-as-synonym-for/213/7 "2021-12-26T14:00:20Z")

</div>

> [@esb-dev](#):
>
> Someone who’s first programming language was C (as in my case) or Java (as in my students case) seeing a semicolon ` ;` thinks of a sequence of assignments and statements, _not_ of a sequence of _states_ .

Notice that it doesn’t have to be _states_. Supposing you model events (call them _ev\_i_) using the [reified-event idiom](https://alloytools.discourse.group/t/modelling-a-state-machine-in-electrum-towards-alloy-6/88), you may describe a sequence of “instructions” (that is, events):

```auto
run { some ev_1; some ev_3; some ev_7 }

```

---

_[View the full topic](https://alloytools.discourse.group/t/new-keyword-then-as-synonym-for/213)._