This example accompanies an entry on Google Mapping at the Proof Blog.