Oh, that's an interesting point about the set operation. We could go with both if you'd like.