Hello PR, Monday, December 3, 2007, 8:20:35 AM, you wrote: > occurs m (Node l n r) = m == n || occurs m l || occurs m r in terms of style, i can prefer occurs m (Node l n r) = or [m==n, occurs m l, occurs m r] -- Best regards, Bulat mailto:Bulat.Ziganshin at gmail.com