Refactoring of Formula interpretation methods.