underivatively

not defined yet