Appendix I is concerned with the structure of axiomatic theories. Both the syntactic and deductive structure exhibited by axiomatic theories is investigated. Dependency is defined and a method is described that can be used to identify all dependencies that exist between axiomatic components. The ability to eliminate defined concepts and non-creativity of definitions is discussed. A theorem that asserts that all defined concepts can be eliminated from an axiomatic theory is given. Appendix II contains the matrices for the photography example in Chapter I. (MK)