We can read the state using input, on an output IO