intersolubility
not defined yet