SMT I Final PMA+ vs SMT F Final PMA+