Lecture: Toward Formal Reasoning in Cyberforensic Case Investigation with Forensic Lucid