_lossless}\end{aligned}$$  where the mutual information terms are evaluated with respect to the joint pmf $$\begin{aligned} p(x,y,z,a)=p(x,a)p(y,z|a,x),\label{eq:joint-BC_lossless}\end{aligned}$$ for some pmf $p(a|x)$ such that $\