derivatively

not defined yet