I just want to add my name to the list of those who would support the interpretation change of (f " g) to
f " g y <-> f "( g y) y ( and x f " g y <-> x f " (x g y) y ) from the rarely used (or useless, depending on your point of view) current definition. ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
