← documentationthe graph is the definition; the run is played through it