I believe that to properly dispose of a flag, it's to be burned. So what are we to do with tattered flags?