how do we know that he really has to burn these tokens