That's going to force formalization to become required for any new result to be taken seriously.