for I, J being Program of holds Shift ((stop J),(card I)) c= stop (I ';' J)