 Let PFO+ be the theory based on the language \(L_{PFO+}\) which arises in an analogous way, but which in addition has the following axiom schema of indiscernibility, stating that coextensive pluralities satisfy the same formulas: 