Surely in the case of (C), at least in the contract described in the article, there would be a visible transaction showing that the contract owner caused the un

Surely in the case of (C), at least in the contract described in the article, there would be a visible transaction showing that the contract owner caused the underflow, because only the contract owner can sign a transaction burning more tokens than there are in existence?