Special Graphs, Planarity, and Theorems — KopHub