SMT B Final PMA- vs SMT C Final PMA-