[aleph_minus_one]

> but I’d hardly count it as useful if we need to wait centuries.

This is not the fault of the mathematicians.