$PROVE por ahora vayamos en largo