http://www.cs.cmu.edu/Groups/AI/html/cltl/cltl2.html