Finite maps and finite sets over strings.