SMT I Final PMA- vs SMT C Final PMA-