updated discussion of Leibniz equality