SMT J Final PMA- vs SMT F Final PMA-