An impossibility theorem with von Neumann-Morgenstern preferences

We prove an impossibility theorem in the context of VNM preferences when Pareto and an analogue of Maskinʹs Monotonicity are used. We show the crucial weakening required to avoid this.