¿Es esto finalmente el final de $PIPPIN?