tests for Formulas ans Note