Greg Ewing wrote: > Ron Adam wrote: >>>>(a if e then b) >>((a1 if e1 then b1) if e then b) >>(a if e then (a2 if e2 then b2)) >>((a1 if e1 then b1) if e then (a2 if e2 then b2)) >>> I think you mean 'else' rather than 'then' in all > those, don't you? Yes of course, thanks for correcting.