insolubleness
not defined yet