Propositional logic engine Terrence Brannon (sundevil@livingcosmos.org)