<<Rudy: What do you mean with the cardinality of a set? >>
Guess why my bit counter is named Card. PhR