f in ▶ P