pfa ^ n ].