Textualmente, este documento dice: