tions derive