¿Cómo es que $PIPPIN sigue vivo?