rewrite the result part, so that it is consistent with the updated theoy language