 In this case the Peircean position implies that \(F(y)p\) is true at \(t_2\), whereas \(F(x)F(y)p\) is false at \(t_1\) and \(P(x)F(x)F(y)p\) is consequently false at \(t_2\). This means that (P1) must be rejected in this system.