Chapter30 (v7) Define equals as an equivalence relation
Chapter30 (v8) Define equals as an equivalence relation (source)