Programs (many of them useful) to explore what it means to use abstraction to write clearer programs.