Orthogonal Graphs Part 1: Modeling the problem of drawing orthogonal graphs August 28, 2023 Some theory behind orthogonal graph drawings