$PROVE is on the way toward trajectory.