derivationes