A computer representation of a definition for an advanced mathematical concept, such as a topological space or a Noetherian ring, can take only a few lines of code.

“You know, second year and third year fancy things like topological spaces and noetherian rings and things like this. Um, but actually just writing the definition down is only a few lines of code in the computer.”