Sets, functions, and logic. (2003)