Logs are proof. More so than Haskell