Definido el contexto, lo que sigue es: