Definition of Insimul