They say that the Born rule can be derived from first principles from their set of axioms. In other formulations, it must be assumed without further explanation. That is progress.