So let me get this.. 40% isn't being traded, 30% isn't yet mined, say 10% lost in between. Are we left with 20% that is being traded?