Today I learned that the module builtins grows dynamically in the REPL.
builtins
Tunnel excavation involves lots of boring mathematics.
