added set and cardinals