1 problem

Non-positive-curvature $C_2$ freeway basis conjecture. A collection of $C_2$ freeways of non-positive curvature, with one member in each switching class, constitutes a basis for