設想一位郵局分局長某天結帳，終端機顯示帳上短少 3,000 英鎊。她確定自己沒有拿錢，也找不到錯在哪裡。她能怎麼證明？她看不到系統的原始碼，看不到資料庫的交易紀錄，也不知道遠在另一個城市的工程師能不能從後台改動她的帳。她手上唯一的證據是自己的證詞，而對方手上的證據是一張由電腦印出來的帳表。