Quando estamos recebendo a formalização automática @ChrSzegedy