SMT I Final PMA- vs SMT F Final PMA-