No halt in (PRO1)