SMT C Final PMA- vs SMT A Final PMA-