insolubility

not defined yet