Working on the resolution problem