Ir longo em $PROVE