Definition of "Ismail"