Hmm, ¿cuánto debería valer $pump entonces? 🤔