Hmm... this example should be fixed to disallow duplicates