Sin embargo, si se declara lo siguiente: