The definition of injectivity, and the proof that every module has an injective extension which is a subextension of every other injective extension, are due to R. Baer [B]. An independent proof using the notion of essential extension was given by Eckmann-Schopf [ES]. Both proofs require the p reliminary construction of some injective overmodule. In [F] I showed how the latter proof could be freed from this requirement by exhibiting a set F in which every essential extension could be embedded. Subsequently J. M. Maranda pointed out that F has minimal cardinality. It follows that F is equipotent with the injective hull. Below Icon struct the injective hull by equipping Fit self with a module strucure.