I will look at it this weekend. If true, the productivity of math departments everywhere will go up. I know so many that banged their heads on this one for a while. I once wasted an entire week playing with this on the Symbolics. It's horribly addicting because of it's simplicity.