Grasping Reality by Brad DeLong

From Google:

Backing up your mail with POP - Gmail Help:

Here's how to download a copy of every message in Gmail to an email client:

1. Sign in to Gmail.
2. Click Settings at the top of any Gmail page, and open the Forwarding and POP/IMAP tab.
3. Select Enable POP for all mail (even mail that's already been downloaded).
4. Click Save Changes.
5. Open the mail client you've configured for Gmail, and check for new messages.

Gmail messages are downloaded in batches, so it may take time for everything to appear in your mail client.