"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." . . "existence starts at point" . .