Id $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$atom\{2:n\}