SMT H Final PMA- vs SMT F Final PMA-