SMT J Final PMA- vs SMT G Final PMA-