También conocida en su forma abreviada como Iformula_1L, es la lógica de Inyección integrada, sus siglas vienen de su nombre en inglés: Integrated Interjection Logic.