Refine a left "admit" part in Forward-lemma.