Quantifiers and the System KE: Some Surprising Results