irresolubleness
not defined yet