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

Being book smart is not the same as being street smart. Just because someone has a pile of degrees doesn’t mean that they ...