nonderogative
not defined yet