Complete parts in the Weakening lemma.