SMT D Final PMA- vs SMT B Final PMA-