https://www.almendron.com/blog/approximationscontradictions/