Available constraint.