SMT J Final PMA+ vs SMT G Final PMA+