Rewrite to support PHIL110-style truth tables