$RE vai despencar, mas a questão é: quando?