added eval method for formulas at worlds