Within a single fixed language for which Leibniz's Law is defined, Relative Identity and Leibniz's L...