. "existence ends at point" . "x existence starts at point y if and only if the time point at which x starts is equivalent to the time point at which y ends." . .