Fixed up the proof of towers coinciding