Reformated to compact next_cell_state