ADD: Input states, State and check