The forcing-axiom conjecture on trivial corona automorphisms

Let $\mathcal{A}$ be a separable, nonunital C*-algebra, and let its corona be the quotient $\mathcal{Q}(\mathcal{A})=\mathcal{M}(\mathcal{A})/\mathcal{A}$ of its multiplier algebra by $\mathcal{A}$. An automorphism of $\mathcal{Q}(\mathcal{A})$ is trivial when its graph, pulled back to the unit balls of the multiplier algebras, is Borel in the strict topologies. Forcing-axiom conjecture. Forcing axioms imply that every automorphism of $\mathcal{Q}(\mathcal{A})$ is trivial. This conjecture complements the Continuum Hypothesis prediction by asserting rigidity of corona automorphisms under forcing axioms; the source does not specify which forcing axioms or provide a resolution.