Talk:Proving that a pattern is a ladder escape