1: $ and observe (under the assumption that, at convergence, $