Flashback to 2011, shortly before I quit my PhD.

In fact, it was the Grzegorczyk hierarchy stuff that was the final straw