You can think of unique existence as making two claims.
Remember that setting up two differently-named variables x and y does not imply (in mathematics) that x and y have different values. If you need them to be different, you need to explicitly state that \(x \not = y\).