[ remove-one ] curry bi@ ;
: symbolic-reduce ( seq seq -- seq seq )
- 2dup intersect dup empty?
- [ drop ] [ first 2remove-one symbolic-reduce ] if ;
+ 2dup intersect
+ [ first 2remove-one symbolic-reduce ] unless-empty ;
: <dimensioned> ( n top bot -- obj )
symbolic-reduce