2.5-b-under-overconstrained