semidifference
not defined yet