3 ideas
18465 | An 'equivalence' relation is one which is reflexive, symmetric and transitive [Kunen] |
16627 | If you remove the accidents from a horse and a lion, the intellect can't tell them apart [Francis of Marchia] |
6316 | We translate in a way that makes the largest possible number of statements true [Wilson,NL] |