Starting the lecture on logic programming
Tmux: Additional hotkey to check the git log via tig