The claim that FO 'cannot express properties in P without extensions' trivially conflates the base l...