← Appendix to ISSAI 3100