We live in a beautiful time. Want Biryani? Tap. Electricity bill at 2 AM? Tap. Sending money to Chittagong? Just tap and hold ...
The ninth Dedekind number, then – still undiscovered by 2023, some 32 years after its predecessor was found – was overdue.