The ninth Dedekind number, then – still undiscovered by 2023, some 32 years after its predecessor was found – was overdue.