Updating the proof (featuring some comments from Sam and Phil)