https://erdorin.org/progression-by-failure/