On PA's & FG's