Monthly Archives: July 2012

An experiment in logical reduction.