P
Initializing...
§3, p. 3:12 — red paths have twin-width at most 2 · Prove2Me