$PIPPIN Is it not empty now? Do we have to wait until it is halved to be empty?