>represent the identity function. We say the the two terms are <strong>alpha-convertible</strong>.</p>
<p>However, if we consider the pairing function :</p>
<pre><code class="language-clojure">(fn [x] (fn [y] (fn [z] ((z x) y))))
</code></pre>
<p>Then the following is <em>not</em> a correct alpha-conversion:</p>
<pre><code class="language-clojure">(fn [x] (fn [z] (fn [z] ((z x) z))))
</code></pre>
<p>An easy counter-example follows:</p>
<pre><code class="language-clojure">(def pair1 (fn [x] (fn [y] (fn [z] 