Must also test that resolution without problems does not cause errors.