https://www.czech.wiki/wiki/Gödel,_Escher,_Bach