Speaking of audited systems that produce effects predicated on formulas