  [0.00]{} ![Non-prox-regular set for \[ex:pds\_exist\]: (a) non-uniqueness of projection for every $(z_0, 0)$ (b) construction of Krasovskii regularization, namely $v \in \operatorname{\overline{co}}F_K(z_0)$.](Figs/