Appendix A. Implementations

TODO