The well-ordering quantifier $WxyA(x, y) \leftrightarrow A$ well-orders its domain