SMT D Final PMA- vs SMT E Final PMA-