In this problem session, I will talk about the challenges in proving the strengthening lemma with parallel substitution.