Yes, and the comment `'member' and 'allocator' need to be pure` covers that. `member`