[simonh]

Despite us starting with the simplest theorems and progressing to significantly harder and harder ones over time? Wow. That’s actually very impressive.