Does &quot;fully tested&quot; means it is supposed to work as a replacement of IF in Common Lisp? Or is it just a toy example in a made-up Lisp&#x2F;Scheme to beat that dead horse?<p>&gt;&gt; In Common Lisp IF is built in and COND is a macro. One of the conditionals needs to be built-in.<p>&gt; That&#x27;s actually not true.<p>The context was about <i>Common Lisp</i>, not Haskell nor Scheme  (of course other languages do things as they wish, including lazy evaluation).
There need to be at least one conditional built-in in CL in order to map generalized booleans to {T, NIL}. This conditional could even be eager, but there has to be a construct which selects the approprate value. Which of the other 24 special forms is suitable?