Keep these synced over time, it’s easy to tweak one document without doing the others and have numbers that don’t match. However, in case you are launching a model new product into an unknown market, e.g. AirBnB before it launched, the danger is bigger than just execution.