resolution now runs until fixed point