Ah yes, since we're only enumerating parts of the intersection. Would be good to add that as a comment.