Reduced formulas with constants only universe.