use a new resolver