Está $PIPPIN morto?