Reduced formulas, clafermoo ints