 Which strains of the Logicality Thesis are needed for these applications to succeed? Since these logicists attempt to show that parts of mathematics are analytic (or at least knowable a priori), this would require that PFO be analytic (or at least knowable a priori), which in turn is likely to require that PFO enjoy some form of cognitive primacy. Moreover, PFO would have to be either ontologically innocent or committed only to entities whose existence is conceptually necessary (or at least establishable a priori).