Definition of INSPEXIMUS