derivability

not defined yet