I laughed when I saw the relational interpreter spit out "twines": two programs whose output is the other program.  Great talk.