. "has derivative"@en . . .