3294 - drop sym comparison for now

For one, it's ugly that it contradicts the base case when one of the
syms is false.
3295
3296
3297
3298
3299