Infernal formalism