The mathematical community aims to get definitions right initially because changing a fundamental definition can break thousands of files that must then be repaired.

“We, we like to get things right first time. Uh, occasionally we have had to go through and change a fundamental definition. This can be a huge amount of work because then, you know, many thousands of files, uh, then break and need to be fixed.”