Session 1 – The logic of KGH