Why are some of these skipped? (Cool stuff btw — I did not know this about doctests!)