in particular the inputs are different from the states