State/Finite sets can be counted