https://abidings.com/overcoming-shortcomings-and-incompleteness/