e>(pair A B)</code> by <code>(and-by-all-means A B)</code> (but there is no trick here, it is just an alternative name for the same <em>thing</em>).</p>
<p>The type of the pairing function becomes:</p>
<pre><code class="language-clojure">(==&gt; A B
     (and-by-all-means A B))
</code></pre>
<p>Which, from a logical point of view, reads as follows:</p>
<p>This reads:</p>
<blockquote>
<ul>
<li>If we know that <code>A</code> is true and <code>B</code> is true</li>
<li>Then the conjunction of <code>A</code> an