eelstork Merge pull request #92 from active-logic/Certainties-Logging-Notes