implement evaluation (for no recursion term)