The bug triggered by fourier_elim( [a[1]>1], [a[1]] ) appears to be somewhere downstream from GENSYM-READABLE. So it's probably relatively easy to fix, as it's not in fourier_elim. Not sure what's going on, though. best Robert Dodier