We should first briefly explain what happened when they ran `vagrant up` and how they can tell if it was successful.