10196 | The Axiom of Choice needs a criterion of choice |

10194 | Two things can only be distinguished by a distinct property or a distinct relation |

10193 | The 'property' of self-identity is uselessly tautological |

10195 | If the universe just held two indiscernibles spheres, that refutes the Identity of Indiscernibles |