Có phải $PIPPIN đã chết?