Two objects that are *not* [[equality|equal]] are said to be **distinct**.