!              ∀  

 #∃      #∃
  %   
  &

∋    ∃  

  (∃       )
)       
    

    


!
 ∀    #
∀∃%   & ∃

  
 ∋()
∗∃
     ∋         +%
!
,,!      ∃        
     −.   ./ 0  ∀
 
 ∃        1        #2

3 )        
    %  
    
%    
     
    

∗  
 ∃

    ∃
!
∃

+ ∀   )
4          05  3     . . 
.#2 .   
 6          ∃   
 5 % ∃   
7
  ∋    
   5 ∃     %  

 5    #∃   %     
   !     (   ,5 
 

              8

 ∀

!

  ∀    ∋, − .
∀


+ 
(

(
∀
!)

       ∃    
 ∃ (   
 +%    #2  ∃ %     )

 %      7 5 9   )   

   −      )         
 /
   ∃  %  5  :  ∋ 
#∃
;< 4     5        

%