deferentiality
not defined yet