Bounded quantification is NOT essentially undecidable (1994)