Implement bounded set WIP