På ett ställe heter det uttryckligt,