Appendix F: Abstraction Forms