Interface ClassicalFormula