Redefining Equality P by Neal Devins & Neal E. Devins