The Conway-Paterson-Moscow theorem (http://www.tanyakhovanova.com/BlogStuff/Conway/Headache.pdf)