3 ideas
23367 | Even pointing a finger should only be done for a reason [Epictetus] |
18465 | An 'equivalence' relation is one which is reflexive, symmetric and transitive [Kunen] |
4038 | Properties are sets of their possible instances (which separates 'renate' from 'cordate') [Lewis, by Mellor/Oliver] |