A proof technique blocked under one set of background assumptions may become viable if those assumpt...