The existence condition states “[x, P, t] exists if and only if object x exemplifies the n-adic P at time t”. This means a unique event exists if the above is met. The identity condition states “[x, P, t] is [y, Q, t`] if and only if x=y, P=Q and t=t`].