The ineliminability of E! in free quantification theory without identity