Thanks Dan. What I'm hearing reassures me. I'm in the final testing phase of an explication utility. It assumes the production: ([: f g) ==> f@:(g) . I just had a panic attack and wondered if (and whereabouts) this was guaranteed. IanClark