Every graph with no K_8^-4 minor is 7-colorable - Michael Lafferty; Zi-Xia Song (2022)