"Computer generates verifiable mathematics proof" of the Four Color Theorem. This should put the controversy over the 1976 computer-aided proof to rest.