Todas las declaraciones contienen una definición de vista de una