User blog comment:B214/Volume 23 discussion blog/@comment-201.215.165.7-20170609214902/@comment-191.214.24.130-20170609235840

On second thought, I do not think they ever specifically said what would happen if the big red died