The on-chain record. If it happened, it can be checked.