 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 wheneveras $g$ leaves every finite subset of $G$.