Appendix A Implementation Details