counting elements in finite sets sec 62 309990