Appendix 1 A Implementation details