  Elimination of quantifiers is shown to fail dramatically for a group of
well-known mathematical theories (classically enjoying the property) against a
wide range of relevant logical backgrounds. Furthermore, it is suggested that
only by moving to more extensional underlying logics can we get the property
back.
