 The point is that in the Ockhamist semantics, any maximal linear subset of TIME is accepted as a chronicle. In the Leibnizian semantics, the set of chronicles is an independent parameter. In a Leibnizian model, any subset of the set of all maximal linear subsets could be accepted as the set of chronicles, C, as long as all moments in TIME belong to at least one chronicle.