Jim Leftwich - Beget Statesman

  

  






    !∀## ∃∃




!%& !∋

(∃ )%& %%∗+,!%))+  !∋∋&)%++∋)∋ ∗% ∋∗! !∋ &∋ !+ +  %∋ +! ∋%!!∋ ∋!∋!

∃ + !−+ +∋!∗ ∋∋ ++)%,∋ ∋+ +& ∗.∋ ∋/+ +)∋ ∗∋)∋∋∗∋+%+
∋∋∋+∋ ∗% ! 0∃ ∋ ∋ !!∋∗+∋! +∋+ ∋∗)   +% ,,   ))∗  ∋∗+ ∋ ∋ ∋! + )+))∗)+ ) +/+∋∋  1)%

2∃ ∋∗!∋∋∋! ∋ +  +∋+∋ &+ +!++∋∋∋! !∋∋!∋+∋∋∋∋!∋∋%∋ ∋∋!∗∋%∋!∋∗ %∋∗

3∃ !∋+) ∗!∋% ∋+ ∋%∋ !&∋ )∋ %∋+∋!+∋+   ∋∋!∋!∋  ∋) !∋ +%∋!!∋+ /+∋∋∋∋

4∃

∋∋/+%∋+∋!∋∗%+ +∋!  !∋∗%∋%∋!∗++&∋!∗ ∋∗)+∋,−5∋%∗ ∋∋∗ + ∗∋ ∋∋ ∋! +∋∋ %∗%    6+∋∋!  

7∃ ∋!+!,∋∋+!% +!∋∋ ∗8∋!&∋+ %+∋∋∋  !!∋%∗+∋)∋∋∋ /+ !+)! 9+ + ∋+ ) ∗)∋∋ ∋) + !∋−&

:∃ +∋∋%%∋ ∋∋+%∗∋+  ∋!∋∋!!+∗+− ∋!∋! ∋ ∋  ∋  !% ∋) ∗!!+∋/+∋& ∋∗+ !∋!∋∋ ∃  ∋∋+)∋∋∗&,!+  %∋∗+) !∋+ ∋∋  ) ∋+∋+  ∋%∋! ∋∋& )+∋! ∗! ∗% ∋ ∋ +!∋!!∋+ ∗& +  (∃ ∋∋ !∋!∋+ ∗&∋∗%)+  &%+∋! %%+ +/+ ∋ %∋!∋∋∗) 9%∋ )∗∋ ∋+) ∗ %∋!!%  !+ ∋∋∋∗ ∋+ ∋∋ 

((∃ !∋∋∋!∋  +∋  ∋∋ !∋∋∗∋  ∋∋ ∗∋ ∗ +)+∋ +∋ %!∋ ∗∋! ++∋&!!∋  ∗)∋!+ 

( ∃ 6∋%;∋+∋∋−∋!∋  !<∋% +%∗%∗!% ∋ !+∋)∋∗!+!!∋∗ !∋+!∗∗!∋&∋∗!+ ∋ + !%∋+∋&−∋)∋+∋∗ (0∃ & /+∋ − %∋+&= ∋+!∗∋%!∋& !∗∋+∋) ∋ +!!%+/++
∋∗!∗+,∋  %!∋∗  ∋!∋  ∋∗!∋+  +∋ (2∃  +  +% +)%∗>∋ )∋ & ∋%∋+∋+∋∋∗∋%∋∗ !∋+% ))  !
)∗,+∋∋∋!∗+∋!∋! +%+  +∋∋+ ∋  (3∃ +∋ !++ !  !∋!∗∋!∋ ! ∋!+ +&∋  %+ ,!∋ ! )∋ ∋%  +  !∋ %∋%        )+∋∋% %∋ %+   ∗

,∗  &∋)∗ (4∃ ∋  ∋ ∋ !  ∋∋ ∋∋!∗  ∋ ?∋ 9∋ ,∋& +∋ !∗% ∋ +∗ ∋∋ +∋ !∋∋∋∗ !∗∗∋ & ∋ + ,!∋ ∋%%   (7∃ ∋+∋ !∋!∋  ∋ &+ )   )+)∋  ∋  ∋ + ∗ ∋  !+!

+)  ,% !! +&  ∋ ∋ ∗∋ ∋   !∋+ (:∃  + ∋∗ !%∗∋+ +∋)     ∋ ! ∋ !!∋−∋   ++ +∗ 9)∋ − +∋, ∋∗ !   ∋ ∋  ! ) 5    (∃ +∋%)∋∋∋  ∋∋−,∋ 8!+ ∋+%−∗ −−∋  ∗ !)∗ + +∋% &% ∋ !

&+!∋ !∋∗ ∋ +)+∋)  ∋ ++

∃ ∗%+ ∋ ∗!&∋ ∋ ∋ +∋ ∋∗! ∋∗∋+ ∋6∋)+ %∋%∋!!∋  ∗ !−  +∋+∋ + ))∋∗∗ ≅+ ∋!! ∗,!& !)∋+ 

(∃ &∋!∋ !+ !∋ +∋+ ∗∗∗ +∋+ ∋&∋ )∗,!∋ ,6+%,+!∋∗ ∋  %∗∋&∗ ) ∋&%∗ ∋! ∋! −!∗)∗ ∋!∋  )∗+ 

∃  +! +!+ ∋ !%∋ 8% %∋!  ∋ %% ∋)) +&+ + ))∋∋ 8 ∗ ) )∋&∋

 6∋ ∗++∗ !∋ ∋∋! +!∋  ∋

0∃ &)∋)%∋  /++∋% ! +∋%+ ! + −+∋ % !% +))+∋% ∋∋%  %% ∋)∋% %+  !∋+ !∋∗   !%∋ ! ) )&

2∃ +∋ +) ∋%∋!∗% ∋∋  ∋∋∋%+  ∋! %! &∋∋∗ &∋∋+ +∋)+6 ∗,∋ ∗ !+!∋∗ +! ∋−

3∃ ∋+∋% ∗∗∗ ∋!+ !∗ ∋ ! +∋, !∋ %∋  ∗   %+ &  ∋)− ! +∋& ∋ ∗∋%&

∋ 6∋+ +∗ 

4∃ + ∋+ +∋∗!  + ∋&∗!∋− !∋∋ !%,∋) ∋%∗+∋ + + ∋+!∋ +∋ !∋+ &∋%∋ ∋%!∋ ∗∋+  +∋+ !∋∗ ∋∗

7∃ ∋% ! &∗ ,∋ &∗&% !)∋∋ )& +∋%!+ ∋ ∋  >∋+)+  ∋∋∋6 +% )+!∋&∋ % +,! + !+ ∋%∗!

:∃ ∋! ∋)∋! )∋−%∗+∋  ∗∋∋,+%+ !∋+∗!!&∋∋  % !∋ ∋)+∋%&∋ ∋+ ∋∋∋%!∗!∋ )+∋) !∗∋∋ + 

∃  !∋% ∋

!∋ %% ∋ +∋∋ ∋∋ +  )%  % ∋∗! ∋&∋+ ++ %!++∋   ∋∋ %+ !+∋    !+ ∋ ,  !!%∋!  0∃   ! %∋ !∋− %∗ ∋!  )  )∋∋ ∋∗ % %! ∋   + − %+   ∋ ∗ ∗  ∋+)+∋ ∋)+∋ ∋+ 8 ∗ ∋


∋! 0(∃ &∋%   ∋∋ ) + ! +∋ + +∋ ∋∗ ∋∋ ∋) !∋  % )∗)!+∋ ∋∗ ∋ !∋∗ ∋& ∋!!!∋% )∋ −!∗ +)∋∗ 0 ∃ ∋+ +∋)∗ +∗ ∋ + +∋∋ +!∋+) !∗∋ %%∗ − !  ∗ 9+∋Α∋ ∋ +)+ +∋ 



%∋  9  %+ ∋! 00∃ ∋ 

+∋+  )∗

+!∋∋∋)∗ +!+ %∗,)  !∋ ∋  !∗ &+

∋∋

!∋%∋∗+%  ∋∋ &)+ &+−)! ∋∋+ ∋) &∋+  +∋ ∋∋% %% !∗∋ ∋∋∗∋  02∃ +∋+∋+ ∋+ !∗  !∋ ∋+  ∋)+9)∋ ∗ ∋∋ ∋ ∗  !  !!∋ +) ∋&)+  +%∋∗ +∋) %+  ,∋∋+ ∋!  8∗∋!   03∃ &∋∋ +)+ !!∋ !∋+ ++  +∋  +∋ !%

&∗ ∋++  !∋!     ∗!∋   +∋+∋+ + % 9+ ∋!∗% ∋∗∋∋∋  ∗!%∗+ ∋&  ∋∋ 04∃ + − ∋! ∗   !∋)+∋% & &  ∋% )!∋% ∋ ∗  ∋)∗%∗ ∗!∋ %∋!∗∋ ∋∋ ! ∋!! & ∋!  !∋ 07∃ , !+∋∋ ) !% %)%∋ − ∋ +  ∋)+%∋ ∋! %∋% &∋∋∗ 

 ∋∋ ∋+ &∋∗∋∋∋ −∋!∋ ! ) −−∋! 0:∃ +∋&& ∋!% ∋%∋!∋∗ &)∋ +∋ ∋+!∋∋ +%+ %∋+ ∗ !∋!∋  !∋  %+ %  +!∋  ,∋  ! +∋)∗ +!∋ !− /+%+ +!∋ ∋∋ 0∃ + ∋ ∗ +%∗ ∋+ − + ) +∋∋∗  ∋∋+%%∗ ,∋ ,+∋ !∋+  /+ ∋!∋!  !∋6+ !∋!+∋

∗!∋ ! %+∋% + +∋ 8 !∋)  2∃ +∋!∋)+∋∗ ∋∗  !∋∗!∋  − ∗ +∋+ !+∋! ∋ ∗)% ∗ ∋ )∋% !∗∋&∋∋  !!+ ∋+ ∗ ! ∋∋ +∋ + ∋%% ∋ !∋ 2(∃ ! ! &%& ∋&+  % 6+%!, +∋&∋∗ +)  )∋∗ ,&&∋!∋&  ∋∋∗  !∋
∋% )∋ +   ∋ =  2 ∃

+ ∋)+ %%∋!∗ !! %∋! + +)  ,% ∋ !∗∋ + ∗ +∋ & ∋∋ ∋!−∋∋  ∗! ∋   ∋∗) /+−∗!   ∋  ∋ ∋∗ ∋%∗ 20∃ %∋&% !  ))+ +&)∗ ∗ ∗ +∗ ∗∋ !∋∋∗   )% &∋ +∋!  ∋&!  ∋)  − !∋ ∋)  +)∋ ∋∋∗ ) ∋ +! ∋%+ + 

22∃ +!∋) !+∋ +∋+% Β +&++ ! !  + ∋!  ∋ ∗ ∋ +∋+ , ∋ !∗∋    ∋)∋  ,− +∋ ++)∋+  ∋) +∋∋ %  +∋∋+ +∋) 23∃ ) & )+   /+& ∋ !∋% !∋&% +!!& ) ∋%++ ∗∋∗ ∋∗!∋!∗ ∋+∋−∋+ +∋  !∋+∋∗,    +∋∗ ∋− >/+∋−∋+

24∃ +∋  !∋%∋!∋!∋% ∋∋∋ %∋∋ +∋!+ ∋∋ ∗!  ∗)!∋   ∋!∋%∋!∗ +∗!!∋!∋ ∋+ ∋∋! !%)∋+)∗∋& 27∃ ∋∗!∋ %+!∗!∗∋∋ +!∋) !∋  ) ,! ++& !%∋∋∗! ! ∗ & +∋ ∋+ ∋∋∗
 ∋ ∋+!∋∗ +∋%  + !∗∋+)++ ! 2:∃ !&∋+!∋ ∗∋!   !  + )+ ∗ ∋+    & )∋+  +6∋ + %  !!% 6∋∋  ∋! !∗! +&∋∋% +∋&  ∋ 2∃

)  +  !    ;   )∋ + % ∋ !   /+∋∗% ∋%%∗ ) 8)     !∋ ,%  %∗ )& !∋ ∗ ! )+) +∋ ∋ ∋ ∋+∋ 3∃ )% +&) +!∋% +∋∋++!  ∗, +!∋ +)∋+∗ %∗  + !∋  !!∗ 8∋∋, !%∗ ∋&∗ ∋!

%  !∋∗%∗  ∋ , ∗+∋ 3(∃ +∋ %∋ !!  )&∋   +∋+ %  % ∋+! + ∋ !    !  ∗  !∋∋%)! ∗ ∗! !∗∋% +%+ +∋+  ∋ ∋∋− ∋ &∋∋ +&∋ 3 ∃ ∋& ∋ &∗+∋∋ ∋  !∋  % ?−++%∋ )  ∋∗   +∋ ∋ %∗ 

∋∗ ) ++∋∋+ + ∋  8∗∋ ∋%%∗∋ ∗  30∃ ∋% ? ∋ +∋+∋% ∋!  ∋ %∋! /++&%  %∗ !∋ !∋ ))!%∋∋∋) ∋ !!∋ )∋ ∋% >∋++ %∋ ∋− !∋∋∗! ! ,∗∗ ∋∋∗ − 32∃ !+!)  ++ ∗ ∗ ∋−+%∋&+∋  )) ∋!∋ %∋+∋+ ∗ ∋

∋%% ∋% )∋%∗  !! !∋∋) + + && 1+ + 33∃ !+ ∋!∗ !∋∋ ∋!∗ +) +% ∋+∋+ ∋ %∋ ++∋% 6∗∋+ !∋&∗ & & ! ∗+∋ )    !∗ &∋∋ ! ∋+!!∗   ∋ ∋ ∋!∋ 34∃ %+∋∗%∋ ∋ ) % ∋ %+   ∋+ ∋ 



∋) +))∋ +) !∋) &%∋% !!∋)∗ !  ∋!∋) ++% +)+∋+ %∋∋∗ ∋∗ ,!∋∋ +∋ 37∃ .∗+∗ ∋!∗ ∋+∗ !  ∗ ∋  +)!  + +))∗!∋ ∋∗ ∋∋ !∋!∋∋, + ,!∋∋% ∋% !∗%  ∋ ) !∋ +∋ ∗!∋  &∋ 3:∃ &6!∋− ∋∋∗  )+ )∗

&∋ ∋∗ +!∋/+ ,!∋ ∋% ) ∋&)  %∋! + ∋∗ 

%∋!

∗+ !∗∋∗ %∗ &+  ∋) %∋   ∋∗∗ )∋ 3∃   +
  ∋ ∋ ∋+∋∗ ∋ − ∋+  !∋&∋)− ∋+ ∋−∋ ∗ ∗ +∋ + ∋ ∋ +!∋+∋ ∋ %% ∋+∋ )∋ + ∋∋  ∋ ∋)++∗ 4∃

%∋+  ∋∗ &∋ ∋!+)∋% +∋ %∋∗ 6+ +% +!!) ∋∋ !∋ ∋+∋∗ !∋∋  !6)%∋  %∗ %∗ 4(∃  ∗ !+ ++ ,∋∋ ∋ ∗   )∋ +∋&∋) ∋∋  )∋+  ∗!∋+% +∋) )+ !∋ & ∋& +)∗ +∋ !∋++ !+ +∋∗  !∗ 4 ∃

∋+ ∋ %&% ) %! ∗%− ! ∋ ∋%∋& &∋&∋+  ∋∗∋ !&− !∋∋∋)  %∗ 1   ∋ ∋+%)∗ + ∗  %)  /+! 40∃ &∋!+∋ %  !∋!∋&9,+ ∋ !)∋∋∗ ! ) !) )∋+ ∗!  ∗ ∗ !∋ ∗++&∗ !,   ∋ +) !+ & ∋∋  !∋+∋+ 42∃ ∗∋−∋!% !  %∋+ ∗∋  ∋

% /+&
&∋ !∋ + & &∋∗∗ ∋  ∋ !∗∋∋ &− ,!∋∗   ∋∋∋ !∋&  )+∋ +∋ ,  43∃ /+% ∗ ∗ )∋%) ∋  ∗ + +!! !+∋   !∋&∋ ∋%∋! !∋ &/+∋%∋+ ∋ +%  ∗ ++∋!∋+ %&∋%∋ !+∋ ! %∋! 44∃ +% &∋∋ !  +)∋∗ ∋ + !∋!∗ )∋∋+

+∋) ∋∗+∋ ) ∋ ∋!∋  ∋!∋∗ ) ) ! !∋ ∗% ∋) ∋ 47∃ +∋/+ )∗ )+∋∋ ))∗∗ + %%∋ ∋ ! ∗∋∋∗+∋∋ )%∗∋∋∋∗+)+%)∗ ∋&+∋∗∋!∋!,∋,! ∋& ∋! ∗∋∗%+  +∗+  ∗ 4:∃ +)∋+)∋ ) 9) ∋ !∋ +% &∋+ &) )!)%  ++∗
∋∗!+ %− + %+∋+ ∗ ∗%! ∋!∗ ∋%∋!∋ 4∃ +) /+ ∋∋∗ !∋!∋∋

∋!%∋! !  ∋− +  ∗%&∋ !∋& ! +∋∋ !∋ % +∋  &%∋+ ∗ ∋ ∋∋   )∗!∋!∋!∗∋ ∋ !∗∋∋% 7∃ ∋ !∗ ∋%∗) ∋  +)%+ ∋ !! &∋ %  +!∋&− !∋+ !∋ )∋∋ +) ∗ +∋ +)+∋ )%)+∋∗ !∋∋)∗ ∋)& % +∋ 7(∃ )∗)∋ !∗∗∋!  ∋& +&∋++  !%∗∗) ∋%∋!∗ ∋!+ !∋ + & % !∗∋%)∋%+∋ )∋ !∋

+&+!∋&!!∋&+∋ %∋ +)∋∋ 7 ∃ +∋  ∋+)) %∗ % ∋ ∋ ∋+&   !% ∋ !%  )%% )  ∋+%  +∋ ∋ !∋ ∋ 8!∋ ∗ ! Α%∋ ∋)+  ∋+ ∗ &  ∋  70∃ ∋∋∋ ) )+ %∋!)∋ ∋%∗∋!+ ,  ∋!?∗∋ !∋!∗!! ∋∋ !! ∋ ∋∋∋&  ∋∗ !∋+%%∋∋

∋+∋ + ∋+∋ 72∃ !% + ∗+∋∋ !∗∋!+ ! +!! ! +% + !! ∋!∋∋%∋ ! + ∋ !∋+ ∋ ))! +! + ! /+∋∋ )∗∋ )∋!)+ 8+%∋∋ 73∃ ! ∋ !)∗ ∋6∋ !∋+∗∋ ∋)∋)&! ∗)  ∋∋ Β+  ,%&∋%∋ +∋+) )!+ )  ∗)∋!)∗ 9∋∗ + !∋)∗ ∗∋ + ∋∋+ 74∃

+) ! ∋∋∗%%∋ 8∋ +∋∋ ∋!∋− &∗)+∋∗ !%  ∋ ∗ +∋) )∋∋++  )!∋ !∋)∋ + +∗+∋    !∋∋ %∋∋ 77∃ %∋∗∗+, ∗) −∋ +  % ∋8 ! !∋  ∋∋+) ∋ )∋∗ ∋.+ &%+)% ∋)∋ ∋∋ !!%+− +∋% ∗ ∋∗ ) + 7:∃ %∋&% ∋+∋ + ∋ + +)6+%! ∋)+ 

 + +∋!  !+! ∋!∗=∋  %%∋ ∋%∗!∗∗! ! % ∋ )∋∋+! ∋∗∋ 7∃ ∗ ∗!  − %%∋∋ +∋+ ! ∋ ∋∗∋% ∋∗ +∋)+ ∗ ∋ +&∋+ %%∋ ++ +  ∋ ∗ )%∗+− ))∋∗+ % !∋ ! :∃ ∋ ∋% %%++  +  )+! ∋%∗ ∋+∋∗ !∗∗!∋∋  %  )+∋∗! ∋ +∋∗∋&++∋ &+%∋ 

∋! 9 &∋  ∋ +)∋+ !∋+ % ∋ :(∃  )+∋8∋)∋ + ∋ !∋ ∋∗ !+ ∗

+∋

)

!+ ∋∋+ %+∋ !∋ ∋ )   !∋∋∋))6  +&  ∋+ ∋)∋! ) : ∃ +  ∋+ &%)%∋! +%∋! ∋∗ %+!% ∋  ! ∋ &∋% )

+! ∋%


 %∋ !∋)+∗!∋&∋  ∋ ,+ !!∋ ∗%9+∋ ∋ 

:0∃ %!∋+∋ ,∋∋ % )∗! +∋ ++/+ ∋ +∗∋ ∋∋%∗  ∋∗
∋ /+∋ %+&+∋∗ ,∋+ &∋∋%∗!∗ +))%+ !∗ +%∋ +∋ !∋ :2∃ +∗% 8∗∋∋! &∋  +∋! ∋∋!  8 8∋!∋ ∋∋  ,   + ∋+ %∋∗+∋∗ %+  ∋!∗&∋ ,  !∋ !) !∋!∗ :3∃  ∗8∋∋∋ /+)

 

−

%∗∋  !∗∋  ∋%  +!∋+∋))∗ ∋!∋∋ ∗,∋+,∋  !∋− ∋∋  +!∋∗ ∋∋∋ ∋∋  )∗ +!∋% ∋∗%!∋∗% :4∃ ∋ !∋ %%∗ ∋∗ ∋∗ ∋&  +∋ ∋%%∗ )%%∋ ∋ + )∋!∋  %%  ∋&∋∗ >∋+ ) + !%∋! ! +∋ ∋!∗     ∋∗  +%!∗ :7∃ + ∋∗,%∗ %%∗ +) ∋− % +∋ &+ !∋+∗!+∋!∋+

∋&∋ ∋ Χ%∋∋ ∋++,∋+∋ + &  + ∋+ ∋∗∋∋% !∋∋ 8∋∋!+ )%& ::∃ +!∋ %∋ +)  ∋+∗ )∋+/+∗ +)6+% ∋+ + +∗ ∋∗  !!    !+∋∗ ) ∋/+  ∋ % +! > +∋∋  :∃ ! ∋∋  %&∋ >+∋  ∋∋ 
∋ ∋! ∗∋! ∋) !∋ &∗ +∋ !∋  )%∗!+

+%+∋ ∋∋+%+ ∗ !+ +/+ % +∋∋∋∗ ∋ +6%% ∃ ∋++ ∗ +∗ !∋!∗∋ ! )∋∗ ) +)∋∗!∋  8%+



&∋ !∋ ∋ ∋∋ ∋%∋! ∗∋   ∋ ∋ ∋ ∋)+%& 9 !∋ (∃ )+!∋∋!+ !% +/+% + ∋∗% +∋∋, 6   %+&  ∋ )∗ ∋∗  + !∗∋   %)+%

 ∗/++∋&  ∃ ∗ +∋+  ∋ ! ?∋+ ∋+ +  ∋!+∋∋ ∋+)% )∋ ∋+∋∗ ∋   ∋ + +!!∋ +∋!!% !∗ + ∋ ∋∗∋)∋ +∋∋ ∋+∋ !∋− 0∃ ∋) +) ∋∋ ∋ !!∋%  /+  + +∋ & +!∋) !∋ ∋− %∋++ ! +∋∗!+ ∗!∋    %  + ∋%+ !∋  &∋

! 6+ ∋∋!∋ 2∃ ∋ .−∋!
∋+  ++∋! , ∋+   %)∋!∋∋− &∋∋∗ ∋, ! +∋!+ !∋ ∋∋+  )∗ +∋ ∋∗ )6+&+∋ !∗ !+ >  %−,∋ 3∃ +  !∋∗ ,+ )∗  ∋ !+∋ ∋ )∋∗ ∋− ∋+%∋∋ )& +∋ && ∋+ 9∗ ∋ %∗ ∗!∋ )% )∋

 ! +!∋∗ +!∋  !∋% ∋+!% ,! ∋ 4∃  !!)&∋ !!% ∋&∋∗  !, ∋−)∗!∋ ∋!  ! +∋ ! !∋∋∋ ! %)  +∋
∋∗ ∋ −∋ ∋ )  ∗+ ∋  ∋+ ∗! +  %+%  ∋+ 7∃ ∋∗ %&∋∗!∋∋ !∗ ∗  )+)∋%& ∗∋ ∗%% ∋)∋)+∋∋
)∗
+

+)∗;+∋+∋ %∋ ++ ) !∋  ! )+ ∗∋ !& ∗ !∋

∋&

:∃ !−∋ +∋+ ∗ ∋ +!!+%∋!!+  +! ∋∗ ! ∋− −∗%+∋!∋  − +∋  +∗+∋+∋+!)∋ ∋∋ 9∋ !)∋ ∋%+∗ ∋) !∗ ∃ ∋ ∋%+∋ !∋∋!+

∋

 ∋ %%∋∋∋)>%+ ∋! !++ ∋+! +∋!!&+∋ ∋  %  !∋!∋∋%∋ % !+

∋∗∋!∋ & +∋& (∃  !∗%+∋!   ∋ !∋%∋&∗ ∗∋



 +∋!++∋)∋ ++ !∋! +&∋∋%− <! ∗∋∋+))∋   +!∋+  ∋ ∋ ∗ ((∃ ∋ )−!∋%+∋ !∋,! !  +∗!+!∋ %∋∋)!∋ ∗∗ ∋∗!∋% ∋!!∋+ !∋  ) &∋ +!∋+ !∋ + 8!,+∋∋)∋ ( ∃ ∗  % )∋ ∋+!  + ∋& +∋∋ +− % ∋) =∋  +∋  !) ∋

) ∋!∋ ∋∋ + ) ∋% ∋ +∋∋ ∋∗ ∋ ∗ +)   +∋+  (0∃ !  +%  %∗ ∋∋ + ∗∋!+ ) ∋ ∋%+  ∋ ∋ !  !    ∋+%∋! +∋ +)++ ∋& !∗+ + ∋ /+∋  ∗ ! %  +∋∗ ++ !∋∋  (2∃ ∋ +  !∋ !  ∋∗∋%+  !∋∗ !)∋%

6∋ % %  !∗ ∋ )+∋)+  ∋)+ 8∗ ∋! !   +∗ ∋∋−  )∗ %+ +! !∋ ! ! 8∋∋  (3∃ %∋ ∋   ∋∋∋! 8 %%∋ ∋ !∋ +)! ∋∗∋ /+ ∋+ ∗& & +) ∋+  !!∋∋∋∗  +)  −  ∋!∋!%∋  (4∃ )∗,! ∗∋ +∗!∗%∗ 8∋ +∋−∋∗

+

+∋

)∋−∗+∋∋ !∋!∗ 6∋ ∋∋ +∋&∗∋  +− ! ∋  ∋∋ %%+ ∋ ∋  %∋!∋ (7∃ ∋)∋)−∗ 6 !%+  ∋ ∋  ∋%9∋+ ∗ ∋ , ∗∋∋ ∋∋ % ∋ ,!∗ ∋)∗ ∋∗∋  + )+∋∋∋  (:∃ ∋%+ !,∋∋!∋)∗ %∋ ,∋ ∋ ∋++ ! ! +∋

!∗ ∗

  &&∗ ∋ !∗ ∗

+ &∋∋ ∗∋  +& &∗ )%∋ +∋ ! + !∋+ + %) (∃ <& +!∋∋∗+∋∋∋  −∋  ∗! ∋!∋!∋  )∋%∋   !∋&∋)∋! %!∗ −  − & !∋ −)!∗ !% +%%+ %%) + !∋ ∋) ∋ ((∃ 9! + &∗∋−∋) !+ ∋++ ∗ 6)& !++  ))∗  +,!∋ & ∋! ! !∋+∋

∗

∋!∋)!∋ !>∋ !∗  ,

+& + ,∗ +∋) !∋ &∋ (((∃ ∋∗ !∋ 1∗∋∋∗+ ∋ ∋)++  !∋ !∋∗%+∋∋! ,+ 6+) )∗ +∋!∗ +!!∋)∗!∗ % 
∋%!∋ !6 ∋ !∋+ ∗  !+)∗! + % (( ∃ ∋+ ∋!∋∗ ∋!+ + − ∋−∋ +∋) %∋&+ %%∗ & +− ∋∋∋  %∋! !! ∋∗ &!∋  ! ) %∗∋ ((0∃

/+&+)∗ +)+ ∋   % ∋%∋ ∋+∋∗∋ + +!∋ ∋∋+!∋ %∗ +%%)∗ )++∗) &)∋  % &∋)+%+% +%+∋<−)% ∋%  &∋6 ((2∃ ∋+ )∋ ∗∋+∋& ∋) ∋+ !∋∋+∋ !  ∗ +∋&− ∋ !∋!+ !∋   ∋&∋∗ 6+&∗ !+∋  ∋  % !∋%∋ ∋ +!)∗∋ ) ((3∃  ∋ +) ∋ +∋∋) ++

∋ ∋∋ )∗ 8  +∋+ )++∗ ) ,!∋∋/+  !)∋&+∋  ∗ +!∋  &++ !+∋ !∋ +∋) +!∋∋%∋ !∋%∋! ((4∃ ∋&∋+∋)∗∋ +)/+/+∋∗%∗ ∋/+∗∋ +   !)∋ +)∋ !! ∋)  ∋ ∋∋ 8%&)∋ ∋+% +∋ !9∋  !!∋ + ∋∋%∋&% ((7∃ !+ %++!

∋+%

 ∋!∋∗%!%∗∋∗ + ! ∗∋ ∋ ∋!&∗ ! )∋ ∋+  %+∋∋
∋)6+ 1!&+− +!)+ ,!∋)∋+∋)∋

((:∃ ∋∋∋%+ !+∋∗, %∋∋∋!∋8∋++ %!∋+ ∋ %>!+ )+∋ ∗ &+ %&+ ! +∋∋∋ ∋ !! ∗%  ((∃ %+∋ ∋)%∗  +∋ ! %+∋∋ +− ∗ )∋∋&8+ +∗ ∋∗+ ∗   ! +)∋ %∗!  +∗&∋+! %∋ !+! ( ∃ )+! )!∋  &&− 9∗ ∋% ∋∗ ∋∋∋!∗ ∋ )∋∗∋! ∋ ∗∋! +%%∋ ∋!∋ +∋∋∋+

+)%& ! +%+  ( (∃ !%∋!∗  ∋∋  !+&∋+∗ % ∋∋+)∋ ∋     ∗)− +) +! ∋∋ % !∋  1+  +!∋,/+ ∗+∋ ∋ )∋+ ∋&∗ +∋%∋∋ + ∋+ 6%∋ (

∃ %& !∗ ∗%∋ +∋ −%!∋%∋ ∋+ !−∋∋∗ ! +∋+)∋+ %+ ∗∋ ! ∗∋%+∋∗∋)∋+  )−!∋ !  )+ ∋,∋∋%+∋ +∋∗∋ ∗ ( 0∃ %∗ )%/+∋!+ 8∋+)!%∋!∗  &∋++ ∗+

 +  ) !∋∗%∋% +%∋!+ ∋− ∗ !!∋ ∗ %∗ ∋)∗ ! !∗+∋∋ ( 2∃ !+)∗+ ∋ ∋  ∋ ∋   ∋!!∋& 9∗ ∋∋! ∗ +∋ ∋∋&∋∗∋+% +%∋ ∋ +!∋ % ∋+∋∗ &∋!+  +−−∗∋% +!∋∋% !∋∋∗ ( 3∃ %%%∗∋&∋)∋∋ ∗! ∋)∋!∋)+∋%∋  ∋∋∋+ ))% ∋+%∋+∋ ∋∋)!∗∋∋!∋& +)∋∗+ )&+ ) !  ∋!∋∗) ( 4∃ ;  &− , +!∗∋  ∋∋ !  ∋

,∋!∋ % 6+∋ ∋ +∋∋,+) !   %∋% !!%−− %∋&) + % %+! ( 7∃ %! !∋ ∗!∋ + ∗ ∋ ∗ ∋  +∋∗  ∋ /+∋+   ∋!!∋+ !∋∗∋∋!  ! ∗ ∋+  +)∋∋% +) , )∗ , +∋+  % ) ∋ ( :∃ )% !∋  /++)∗

!∗∋

+, %% +%++∋& !∋  ∋&∗ ∋%+∋.   +&∗+−∗∗!∋! /+∋ ∋− ++)%  !∗ ( ∃ ∋ )+∋+!   9∗+ )∋%∋∗! !∋ ++∋%∗%+ !∋))∋∗)∋ + ∋) ∋++∋! !!+) !∋∗+∗∋ + ∋ !∗∋ (0∃ +,%∗ &+ )+∋ 6+∋∗ ∗!∋ ∗ + +)+)∗
  ∋∗∋ 9∗∋ !+)∋ !∋ +∋   ) 

≅)∋ +&) %∋ Χ∗ +)6∗  !% %  ∗ (0(∃ )∋ ∋∋% !∋) ) ∋+   + ! &∗ )+ ! ∋∗ 8∋∋  +  ∗!∋! &∋ + !!∗∋ ∋!∋+ !∋− ∋ ∗ ∋&∋+ +∋ (0 ∃ %!∋ !  ∗∋ ∋&   ∗! =∋!)+!∋

!∋∗∋!∋ & ) ∋%
∋∋ +  ! +!∋∋ ∋++ + ∋∋ ∗ !  ++   !!∋ (00∃ !∋&∋ ∋ ∋ ∋− ! +∗∋% ! ! )  &%∗>  ∋∋     !!  ∋%%∋)) ∋ ! )∗ !∋)∋%%∋! (02∃   /+∋∗ /+) ∋!!  & )+ ∗ ∋∋+/+ 8 + ∋!%!∋ ∗&∋% %+∋∋+ !∋∋% +!!∋!!∋% ∋!∗%%%&∋!!+∋∗∋+∋&∋ ∋ (03∃ ∋+/+&∗)&∗  ∗8∋∋∗!! +)∋∗∗ &∋)−∋−+  !∋ ∋∗ +%%8++∋)!∋   ∗%∗∋∋∋∋ !  ∋!

(04∃ +%%∗∋∗)∋    ++ +∋∋ +∋∋∗ !+ ∋+)+ ∗+,∋ ∋+%∋+ ) ∗&∋+ ∋+ +∗ ∋% ∋∋!% ∋ ! (07∃ +∋)∋)∋ +− %+!% )!∋& +   ∋!∋∋ ?+)) ∋) ! )∋  !∋ ∗ ,+ !%∋ +% ∋%)∋ +   !% +   !∋!∗∋∗ ∋!∋∋ (0:∃  ∋!∗ 

! &  ∋ ∋6+ +!  ∋!+ ! !∋ )& % ∋)∋ −− ++ %  !∋+  ,+

,!∋&

! ) ∋∋∗ ∋ −+  )% (0∃    !∋∋!)+ , !∋∗   +∋∋)∋∋% !+ +! %∋ )∋∗∋& =∋ ∋−  ∋+∋∗  !∋%∋+)∗ +∋! ) !∋ %%∋∗ ! +6∋&

(2∃ !∋∗%+∋∋) %∗∋ ,!∗ )+& %∋  !∋∋ ∋ +!− ∋%∋ ∗!%+∋ ,∋  )−%∗ +)∋ + ! %+% ∋ + ∗ )∋∗+%% ∗!  (2(∃ !∗! 8∋∋ +) !∋  )∋ ∋∋∋∗ ∋! ∗∋ ∋ + !∋   ) ∗  !∋ %% ∋+∋ ≅%+∋ ∋%+!∋∗ ∋∋ !∋%!∋%∋   +∗  (2 ∃
) + 

%∋) %∗ ,∋& ∋∋ ∋ !∗∋∋∗ &∋ ∋ !  +∋∋+!) ∗!− %∋ )∋ &+ ∗−∋ ! + ! ∋   ∋∋+ +∋∋∗  ! ∋∗ )+   +∋) (20∃ ∋!∋ ∋∋ %)∗ !∋  + !∋∗ ∋&!∋ ∋ )& ∋ +∋) +)+  +∋!− /+∋ %∋)  ∋ !∋ +   !!!∋

)∋% =+∋ +,!∋ ∗ + ∋&∋)∋ !∋∋ (22∃ ∋&)∋ &∋ ! ∋ ,& )+∋+  ∋!!  + ∋!−∋ ∋∋∋∋ )    .−%   !∋!∗  + ))) )∗+∋+ ) Β+  !!+∋∋ (23∃ ++∋)!%∗  % +!∋ ∋&−!+ ∋  +!++∋∋∗ +∋∋∋∗%!∋∋∗   &!∗, %% +∋ !+%%∋  ∗  !

!∗
∋ (24∃ )+∋+ &  )∋ +

,∗+∋

!∗ ∋∋ ∋  ∗ ∋ % &  )∋∋  ∗∋1)∋  +∋∋ + ∋− %∋+∋ ∋ ∋∗ !∋!∋   )

)

(27∃ ∋∗%) +∋  ∋  /+)∋& ∋+,   ∗    ∋∋!&+∋+   )∋%∋ &)∋%∗ ∋ ∋,∋∗ + % !∋!∗)

) ,∗)∋  % &∋ !∗  & (2:∃ ∋ !∋!,∗ %∋% +! ∋∗ ∋  &%∗∋)∋ & ∋ !+  ! ∗ %∋ ! ∋&   +)∋+ ∋, ∗ !∋+ +∗ !∋   % ∋  + (2∃ ∋ + ++ ∋∗)))∋!+ !++∋)∋∗%∗∋!+∋%∋∋∗ ∋!∋ ∋∋∗+∋ %+ ∋%%∋%∗&∋  + +% &+∋∋∗ %∋∋∗∋!∋!+∋&%∋+∗!∋ (3∃ %∋∋ %∋∋∋%∋−− ,∋+∋%∋%!∋∋+  ∗)+  +∋+∋)∋)∋+∋∋)∋ ! ∋ =∋!∗+   +)∋+ ))∗&∋∗∋

(3(∃ )∋∋∗∋+% ∗ 

 &

+∋∋ ∋!∋&∋%∋ +!∋+ +∗%! )!) 1∗∗!%+& )∗∗!+ !∋∋∗1∗&&+∋ ∋ (3 ∃ ∋)∗+)∋∋+ ∗!&∗!∋ ∗ ∋∗ 8∗∋!∋!∋∗%+&∋∋∗ ∋&!,% +∋ %∋ ∋ ∋ !∋∋!&∋)∋& ∋∋−&∋∗∋&  ∗ (30∃ !∗∋) ++∋  ! ∗  ∗∋∗ +!∋,∋ !!∋+∋ ) ∋+% &∋)%∋ )+∋!∋!!∋!∋ !∋& +∋%) ∋ !∋%∋&− +% ∋!! +∋) +! (32∃ + ∋−∋&∋ +%∋ ∋+ ∋!++ !∗∋∗, +∋ 

!! +%  +) ∋+ +∋% !%+ ∋ ∗  ! +∋+6 /+!&∋∋∋  ∋∋!∋! (33∃ +∋6)) ∋  ∋&!)  ∋ ∋∋%) ∋+ ∋∗  +!∋ )+ !+!∋&∋%∋ ∋ ) !!∋ Β)∋ %  ∋∋% +!∋∋  ∋∋&∋) ∋)!− (34∃ % &∗  /+ %−   ) ! %∋  ∋ ∋∗ ∋&  & ∋% !∋∗∋ !+∋)+  ? ∋!∋!∋∗ ∋∋!+ !+%∋+∋%∗

,−∋    ∋+)∋∗!!∗∋ (37∃ !∋+  !∗∋+ !∋!)∋ . !∋∋∋ &∋! !∋+∋ ∋+∋! ∋∋%%∗%∋!+ % ∋)+   +)∋∗+ (3:∃ %)&% )+%∋)+∋ !!∋!!+∋ /+!∋∗+  )&  +∗  !∗ ))%∗ %!)!∋, ∋ !∋∋∗ +∋ ∗+ ∋)