É finalmente o fim do $PIPPIN?