2. Noncrossing constraints
TODO