Therefore the BGS result eliminates a proof *strategy*, not the broader family of diagonalization-in...