 As demonstrated in the above example, applying a restriction to a function can massively reduce the size of its formula.Though formula_4 is written with 7 variables, by only restricting one variable, we found that formula_9 uses only 1.Subbotovskaya proved something much stronger