> maybe the bug is due to the rule: > tellsimpafter(etrue~ttrue.vtrue, etrue.(ttrue~vtrue))$ > commenting it out, the bug is gone. But I haven't thought much more than this. This rule isn't valid when, for example, vtrue is a matrix. --bw