F(p) ≡ (F(p)i, F(p)s)