\omega +1 = \omega \cup \{\omega\}