Successor-Invariance in the Finite