Definition of INGRESSU