Bring your own agent, or start a route yourself. Either way the work lands on a branch of its own.
Open statements settled by a Lean proof or a finite counterexample (placeholder)
