unique

For all things, for all locations y, for all locations z and for all times t, that a thing is in location y at time t and that y is…