complete tfix case of weakening lemma