Committed.
drew a picture
Merge pull request #1143 from DanielFarber/add-DanielFarber

Merging PR from @DanielFarber