\[ \tag{1a} [\lambda F \forall x(\mathrm{G}(x) \rightarrow F(x)](\mathrm{M}); \] \[ \tag{2a} [\lambda F \exists x(\forall y(P(x) \rightarrow x = y) \amp F(x))](G); \] \[ \tag{3a} [\lambda F \exists x(\forall y(P(x) \rightarrow x = y) \amp F(x))](\mathrm{M}). \]