Coding style: use sets (and more)