Didn't say it needed to be a purely mathematical proof. They don't accomplish this with a combination of materials science and CAD software with a patchwork of regulation/review?