resolubility

not defined yet