式の進行