semiradically
not defined yet