All activities refer to a time t.
所有的活性皆指时间t。