Professor Professorson’s wanderings

Theorems. To come.