^+$, resp. the final configuration of points after the collapse;  -   there exist a subset $A$ of $[n]$ and an ordered subset of $[m]$ consisting of consecutive non-negative integers, such that $0\leq |A|\leq n$, $0\leq |B|\leq 