Added reference to resolvent