El segundo ejemplo implica la verificación acerca de si las