What? I thought it was widely acknowledged to not be ruled out. But how could it be shown to be correct?