På ett ställe heter det: