This page has moved to 2010-03-07-simple-logic.html.