Collapsible set: Forgot to lint.