And do any of them actually matter? Will the fact that Noodleheinz's Third Postulate now has a proof affect anyone?