SMT B Final PMA- vs SMT A Final PMA-