Appendix A Generalised Distributive Property