Addendum to “Consequences of an exotic formulation for P = NP” [Appl. Math. Comput. 145 (2–3) (2003) 655–665]

We elaborate on the following result which appears in that paper: if ZFC+[ZFCisΣ1-sound]+[P=NP]F is consistent, then so is ZFC + [P = NP].