I think it covers diverse explanation of the same theme i.e. can consciousness be generated out of unconscious (something like that). But I found the pq system quite interesting. BTW if you are having problem with that you can skip it, Hofstadter takes his sweet time explaining what formal systems is.