no, actually 'next state' is correct