irresolubility

not defined yet