fixed notation in state splitting