Is the problem that we are using the wrong resolver?