Appendix A Definitions, proofs, and related work 592 Here, we provide missing definitions of the KLD and the-divergence