implemented FormulaExists::evaluate().