Appendix A Implementation Notes