differentiant
not defined yet