\setlength{\unitlength}{0.00083300in}%
%
\begingroup\makeatletter\ifx\SetFigFont\undefined%
\gdef\SetFigFont#1#2#3#4#5{%
  \reset@font\fontsize{#1}{#2pt}%
  \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
  \selectfont}%
\fi\endgroup%
\begin{picture}(1816,1664)(293,-968)
\thicklines
\put(1201,389){\circle{600}}
\put(1151,349){$\exists$}
\put(601,-661){\circle{600}}
\put(501,-701){$M_f$}
\put(1801,-661){\circle{600}}
\put(1701,-701){$M_g$}
\put(1651,-361){\line(-2, 3){300}}
\put(751,-361){\line( 2, 3){300}}
\end{picture}
