Inzane

Inzane
HOL&gt; Diamond (Remco Nieuwenhuizen, swap, 01/95).