$$
\pi_D - \pi_H \;=\; \underbrace{T\,(T_p - R)}_{\text{exploitable trust surplus}} \;-\; \underbrace{q^{*}(x)\,\phi\,(k + T_p)}_{\text{expected punishment}}
$$