1: \begin{proof}

2:     The proof of Proposition~\ref{prop:a-puff} (Appendix~B

3:     in~\cite{kifer2012rigorous}) is a proof by case analysis on every possible

4:     protected property. The fact that $\eps$ is the same for every protected

5:     property has no influence on the proof, so we can directly adapt the proof

6:     to $d_\datasets$-Pr, and its combination with PF Pr.

7:     Similarly, the proof can be extended to arbitrary divergence functions, like

8:     in Proposition~\ref{prop:a-div}.

9:   \end{proof}

10: