From Mitchell to Carus: Fourteen Years of Logical Graphs in the Making · Study