resolvent

not defined yet