Existential-Import Mathematics. - John Corcoran; Hassan Masoud (Bull. Symb. Log., 2015)