(last change to $x$ before $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$outl(change{-}to($x$;$e$))