State/Finite sets can be counted 1