Al ser personajes distintos se requiere del uso del @time para poder verificar que efectivamente concuerdan los tiempos. Por otra parte se requiere más pruebas en las que efectivamente se lleve al satan o sea un error al usar la estrategía de 'eliminar lex'.