Merge action model lemma completed.