SMT Final G PMA+ vs SMT Final G PMA-