\[p\left(\mathcal{D},0\right)=p\left(\mathcal{D}k,0\right)=p\left(\in\!S,0\right%
)=1.\]