https://primmlife.com/2018/04/23/review-when-einstein-walked-with-gdel/