¿Está $PIPPIN muerto?