Every Leibnizian structure must be rigid, meaning that it admits no nontrivial automorphism, because automorphisms are truth-preserving—any statement true of an individual in a structure will also be true of its image under any automorphism of the structure. If all individuals are discernible, therefore, then no individual can be moved to another.
