Premisa: una vez llegue al corrupto, notará que corresponde a la función Escape, que como anteriormente vimos, sirve para poder pedir servicios que GDI no otorga directamente
Hipótesis: gDI interpretará este record y le enviará un mensaje al Visor que contiene los parámetros del método SetAbortProc
Conector eliminado: es decir,
Etiqueta del conector: entailment
Etiqueta humana (mayoría): reasoning