(PRO1) does not repeat