SMT D Final PMA+ vs SMT E Final PMA+