implemented getters for formulas, now all tests pass