Much simpler solution for the eval problem, suggested by Santiago