```\n    function _decreaseCurrentMinted(address account, uint256 amount) internal virtual {\n        // If the burner is a vault, subtract burnt TAU from its currentMinted.\n        // This has a few highly unimportant edge cases which can generally be rectified by increasing the relevant vault's mintLimit.\n        uint256 accountMinted = currentMinted[account];\n        if (accountMinted >= amount) {\n            currentMinted[msg.sender] = accountMinted - amount;\n        }\n    }\n```\n