Code specifying the complexity of a formula.