A theory of equality: | NiceBooksReads