\psfrag{Ax}{$\Ax$}
\psfrag{ImpL}{$\ImpL$}
\psfrag{ImpR}{$\ImpR$}
\psfrag{AndL1}{$\AndLp{1}$}
\psfrag{AndL2}{$\AndLp{2}$}
\psfrag{AndR}{$\AndR$}
\psfrag{OrL}{$\OrL$}
\psfrag{OrR1}{$\OrRp{1}$}
\psfrag{OrR2}{$\OrRp{2}$}
