SMT Final F PMA+ vs SMT Final F PMA-