Guys, I don't get it, why are unrecoverably burned coins not deducted from coin supply but recoverably burned are?