SMT A Final PMA- vs SMT F Final PMA-