My specific question is: исходя = deriving ?