Wall-metric properness criterion
= Wall-metric properness criterion
If $G$ acts on $(S,\mathcal W)$ and $x\in S$, then its action on the dual cube complex is metrically proper whenever
$$
d_{\mathcal W}(x,gx)\longrightarrow\infty
$$
as $g$ leaves every finite subset of $G$.