I have thought of it but this solution is coherent with the fact that Mzero is kept