typos, edition, more 'theory' added