Stolzenburg-style set constraints