terminal state values look good, q(s4,right) has the highest value