This transformation is a formal adjustment to the evaluation of quantified formulas and does not alt...