differentiability

not defined yet