$PROVE another path being written in history.