状態移行に使われたって考えるのが自然