@realization1: Thus we have