Derivvations in appendix A