disrelation
not defined yet