translated Appendix A.5/Appendix A.6