 I will now outline some applications of the theories PFO and PFO+. In the previous section three strains of the notion of logicality were disentangled. Special attention will be paid to the question which of these three strains PFO and PFO+ must possess for the applications to succeed. 