Factored out big examples.  Added iota.