 According to a Leibnizian semantics propositions without modal operators, such as \(p \supset P(x)F(x)p\), will have to be evaluated within the sub-model defined by the chronicle (i.e., in fact a linear model). The point is that to determine the truth-value of a formula without modals at a Leibnizian time defined as \(t =\temp(m,c)\), one need not look at other chronicles than \(c\) if the evaluation is going to take place on the basis of Leibnizian semantics. However, in the above model the proposition \(p \supset P(x)\Box F(x)p\) will not be true at \(t_2 =\temp(m_2,c)\) since even if \(p\) is true at \(t_2\) and \(t_1 =\temp(m_1,c)\) is a time \(x\) time units earlier earlier than \(t_2\), the proposition \(\Box F(x)p\) will be false at \(t_1\), since there is a co-temporal moment \(t_1 '\) at which \(F(x)p\) is false.