Agree (on sentence 2 and 3.) Gödel, Escher, Bach doesn't go very deep.