Welcome!
the state is t0