https://www.dirkvekemans.be/2007/08/03/godel-on-fridays/