typo: > I only can derive it from x (f g h) y == (x f y) g (h f y), so:
x (f g h) y == (x f y) g (x h y) sorry about that ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
