Missing thumb

a dfa