source($l$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$1of($l$)