Det officiella dokumentet lyder,