A Brief History of Identities t = x
That Imply u = v