Mandatory disclaimers https://github.com/teorth/erdosproblems/wiki/Disclaimers-and...