&gt; does not provide enough to write CONSP<p>Yes, that&#x27;s a very good point.  That&#x27;s why I said, &quot;If you want to explore the relationship between Lisp and ULC...&quot; and deliberately not, &quot;If you want to see how to embed Lisp in ULC...&quot;<p>Writing CONSP actually makes a very interesting exercise.