Renamed spec, added examples from the future section, on pg. 330