se tiene: