1 problem

Non-positive-curvature $A_2$ freeway basis conjecture. The set of $A_2$ freeways of non-positive curvature having these points as endpoints is a basis for