You are on page 1of 76



 
    


 


 
    







 


   



   !
 

   ∀ 
 
     


   
  
 #   
#


#  ∃    
 



     
   
 
 %

#
 
    

    


 
    
   


 & !
!     
   
 

∀
  
  ∀  ∀%  ! 
   




∋
 
 
  #∃  
∋  
 
 
# 

 
      !  !(  


   
   ∀( !)! )    
   
∃ 
 ∋  
 
  

#  



  !

  

    
  

!  
∗
% #
 

!

#
  
 
 
!


   
   


  
#
     
     





 

  ! 
  # #
  
!   
    #  &  
 
 # (+,(    
 
 
 
  ! 
# 
 
 #
 #∀−   ∀

 ∀
   

   
   !# 
 
∋
∋  



#            
# 

   
# !
   ∗  

#
  
 #

      
        & 
!  


  . . (+  (+∃  
   
#

 
    
&
      !    




 

   
 
 ∋#∗#  !   
   !
 
#
    



! #!  # ! 




& 
  . 
    

#
!
!
!         (+ !  !   

& !  ##  

#  ! 
#  
 
 
 
 
   
    
# 
     !  
 
  
 

! ∗    
 − 

 +,(+,((+#
 
       #

   
  ∗
! 
 
    



#
 
   ## 

 


 

 

     
 
  

   ∀(∀ 
!


# ∃ 


#   #!
 


##


     


    
  !
%!%


#

 
#    
!   

   ∗
!
   & 
   




             ∀( 
∀(  + 
   ∃ # 
# #  
# 


 
 
 !   # 

 
∀(  


 
 # #
# 

 #   


&  & 
 ∀
    

     


! 
      
  
  ∗ ∗
  
  
  
#     

 

#



∗  
 

# 
   
      !
   
 

 
    

 
#

 ∀





    ∃  


       ∀ 
#
! 
#   

# 
 
         ∀−

  
 !
#

 ∗
!   
 !  
∀
  

 




  
#

  
  ∀+#
+
 
#

#
∗    
 #
# 
 


  
  


     
!

   /
∗



 #  

# 
 



# # 
      ∀
   
 !    
 

    

 !  
   
 


#∗
∀  #

 
 #!
∀
! 

&
& 
( 


 !
 )
#
∗    
# #  

 


∗ 
∀    
 
 
# 
         ∀+
+  

#    ! #    


#   
     
 
 ! 
#

∗     
∃

  

 
∗  
 
   

#  

  

#(+
 
  ∃
#
 +
∀ 
    
  
# #   # #




∀       !#


!
    
#  
!
        
#
# ## #  
 
 
(! !(

  
 

 
  
!         

# #

!  #
  #   &
 
#

#
∀
 
∋    &  #


#   !       !&  
#
 


 
 
 
! #  
#    
  
    
 
#   ! 


#  
  
  # 
# 



 

# 
 

   

 !#   &

 # 

#∀/

   

%
!
  !
 
 

∀( 
   
    
 #
#!
 

##
 

  

        !      
& 
∀+ 
  !      
    #
#   &    

 
 


#
     ##
  
#∋
#
∗ 
!
   
) !)   #

 
     #   !  ∃#
##
#

 
 

   −
#    


   
     
  # 
(+#(+,((  
#
    
  ! 
  
  
      

    !   !
   /  #
#
   
    

∀ ∀(
(

!  #∀/ #  
 &   



    




  &#      
   
    
       
 
!  ! 
&  

 
 
  ∀/ 
% 
 
!     # # # # 
 ! !
    
−    
 


∗∗   #
 
 
(  

  
 !  
!


   
   


∀(
 
#    )
  
)!

       

 
# #  
!
!
##
# 
# 
 &  # !
!!
!∗
!
  !  
# 

 

        
                
 &  

 
! #! 
 
#∀




 ∀(


 
    

 &  & &∀

 

 !
 
        !   


 ! 
  


 

    


 
 
 
  

 #)
    
 





   ∃!  
   



#
 
         

    
 
     ! !      ∀ 
 

 #

 
  #
 
   !

 #
∀  
&

#


#  ∃
#

  

 
  
 
 #!  

 !  
   
%
!
!   
 
∃
   
∃ ∃

    
  
∀    


# & ∋   !

#    
 !   !    !   
  ∀(
 
 !
!  
 !
!
  


 
 

&     



# #  
  

 
    
 



 ∗
 ∀# #      
 
#& 
 
 
 




∃    

#
∗ 
!
      
  
 

 
 


 
 
 
!∃ &
  
   
 
# 

 
∀ 
  
 
 
#
∀  ∗    
  

  
  

 
   
    
    
, 
     
 
#           
   
 
 



#

##
 
  
#
#   #!  
    !

      ! #
 
 
  

    

   
 
 
  ∀(
∀
 
#  ∃
∃
 
#
#   /#  ∃   # /
   
     (
(,(
 
  ∗  #
 !
#
 


∋  
   
 ∀

   



 

 
# 

  #
  
       
   #
  !! !
   
  
 

 
∀      
 

∀
&& 




#∋
##!    
#    & # !   
#   
 #
  
!    
 ∗
!∗ 

 
∃

      
    ##     
  


 
 !     
∗ 


!
)) ! ) 

          



  

#    

∀
 
 
   
  ! 

   
  
    
#∀(!
 
# # #  
   
 
  
((#
 
  

#!  
 

 &     
    ∗
!
 !  ,



#
 
   &  
  

 
 
 
#       
  ! ) #  # !)

     − ∀− 
      
##

  

 ! 

# 
#
       .



  
#
 
∗∋     !# 
   ! 
∋
    
 ∃  
 
 
 
 /
# ! 
∀ 

  

 ! 
  
 
#      
  
   
  # #
#    ∀ 
  
   

 
# # 
∀/     
 # 
 −

        
 
  
 !



        


# 
 


 
   
#

 ∀    # 
  
  # 
  !     !  

#


&∋ 


 
#   
# 

 
#

( 

 
∋
#
   
    
#
  

  
 

 
  ∃  

 

 
# & ∋# 
  . 

#
   ∃      
 

!
&!

   
 
  
#       
 ##


  (+
!  
  
+# 
 
       

 
   




# 
 

 
    
 
    
  # 
             !
#   

#     




   
 ∀(


 &


 
∀(+ 




  ! )  
    

 !!     
 
     


       
 # !

#
 #


 ∗
 
 
#

  !)!  
  

  
 ∀/ #   #     
!   
#
    
   
 
 
 
      
 

   
#∋

∗ ∋   #  !



 !  

 


##
   ∀ ∀ 
 


 ∀(

∀

      


 
 # #
# !

 
∗ 
  
     ∀ &
  
 
 #! !   
 )  

∃     
!∃
   #
    (+
∃(+
∀∃
#
  





!  &  
  ((    
!(

#
#
∋
#
    )
  
 !
 

  


  
         


    ∗ 
   
 
  
 

    
 

     
#  #
  
   
   
   
 
  ∃ ∃ 
  
  # 


   
  
 
  



  
 !#

#
  !
∀ 
#  
##  

      ∋#
   


          !
  
# 
#  

)
 &∋
  ∋
  
 

  ! #  
    
 .  
 


     


    
!

 
     

∋ 


 

    ###

   

 
 
 
#∀ 
 #

 
 ∃  ∃ 
!
∗  
    

    
  #  
 !  !  
     ∃   # 
##
     . #
 
 
∀(+∃ 
#
∃ (+ 
∀( 
  

 
#
 # 
 

  

#

 #  
  
  
! ! 
#  
 ∋

∗  
+  

 




 
# 
 
 
     

 

  

   
 

 #
# 

&  #  ! 
#
       
 
  
  # 

 # 
   ∀    
 
   

 ! 
!   
    
 
 
∃
  

 


 ∗ 

 


# .  

 
#
# 
  (+#   
 
   
#∀+
∀+
+    

 
    
     
 
  
   ! 

 
   
& #   
   
  

   
 
   

  &
& 
. 
!  
!


 

#    
  %
  ! ∃ 

 
)  )! %
 +∀+
         ) )
)! ) 
  
 ! #    
    
 
  
∗!(

  !(  
 
#
 #!#!
 
∀/

#∀/∀  
& 

#
#     
  
 ∀∀−   !


   
 


#  
  


  
# 

   #  
 
 
!  
 
!   !    
 
  

  #
    ∃

#

   #
 
 # 
 
 
  
    
  

  
       


∀ 

!

 #  
 
 !
 ,(
(+ #
   
 ! 

  
     #     
∀

%
!!


 &
 
    
  & &
    #
#        !




#!  
 !
  
   
    !
! 
!

  

    
 
#
  
 
  
  & 
       !
   ∃ 
 
 
 
 #
#        

 




!



    
 
# #
    &  

   ∀

 

 
 
!

 
#
∗
#!( 

##
#  
  

#  
 

 ∀ !
  
 
∀

 


 

! 
#
 ∀  ∀  ∗  
  
∋∃
 
  

#  ! 


#  
∋
    


   
  
#
  #




  
 
   
   
 
 
   #

#  
# 
!
 

  



   ! 




 
#
  
  
 

#
∗ 

∗  

#
!! ! 

     
 !


#

!
 ! 
∃ ∃ 

 

   
  


 &
 
! 
!    



 

 #  
 
)

 
 #∃ 
# 
   
 ∀

 



#!       
#


  



∗ 

  &  


#   
 


#
#
   
    !

 ! 




#

 
 ( !,(+      







  #
#

# 
# 
    #   


 
 
#
 
  ∀−
 

   

#  
! 
    
#  
  !
      


# 
#   
 
 
  
 #
∀(+
∀−    
  
# 
  
 ∋
# 
   
  !   #  
#!(      &
 &   &∃ ∃ 

# 
# 
#  

!    



  ∋∀∀/ 


  

∃ ∃ ∋
#∗! 

 
  +
  
 



( 
   
#
  
 
#

!
 
  
∀
 
    
 
    

 






∋
 
 ∋
# # 
 
 




 

  #
 
  

#+   # 
  
  
     
 

 
 


  
  
# 
 

  # #   


  %
 !!    
 
 
   

     

#   

 

 #   #  

      
 


 
#
    ∃∃∃

   
 
!  
!   
#  


  #
 
!       
 
  

. . 
     

   
 


#
   
    

 

 
&   

 

 


 & 
   
 



    − ∀ !  ∀     #   
  # # ∀
#   #  
 








 
∀ &    #        
#∗   
# 
  !#

 

   
 
 
!   #&  

∗

  
 


  &    &!
!
 
   #
 !
!  
 #

#
 

      
     
 ! 
#

#
  

    
 
#


# 
#
# 

    


∀
∀

# 
#

  

 
 

   & !
 !   !
 
#! 

  

 
 & 

    
∀−
 ∀

 

#   
 !  

 ∀
#

   &
  
# #
!
 
+
∀(+#

# &
 

!  , 


 # 


∃
  
 ∀+  #

  
( 
  
  #

 


 #
       
#  
 

  


      





∋


 
 ∀(

 
#      
 
 ! 

 & #

 

  

#

 


 
 

 # 

  
   

   ∃ 
  &  



  



 


#      
 
 
   !

     ∀ #
     
#  

 !
 
∃
∗
#∗ 
 
∗   

   




 
  
     (+ 
( 
  #∗ ∃    
 ! !
 !
  #
#      


 !
∃ 



   



 
!
    ∗   !
  

 
      



  
+#∀+  
   !


  
#∀  !(  
&
 
#
#
! &  # 
   & 

#∀/&  

#   





# 
    ! !     
!     
 
# #    
 
     

! 

 &  !  !

 
!
!
∀−

&#  



  
  
 
  
  ∃       ∀(
  

   
 


  ∀
  
  
 
      

∗ 
 

!
 ∀ 
# 
 
  
        
   

∋ 

∗ # 
  %
!  


# #
  
 #
  
#  

      ! ∃
 
    
   
+ #  !   



    

!( &  
  
  
&



 
∀+∃
  

!  
 


   


 
  


#

 ((#
# 

 

# 



  
 
 
#

∀ (+ 


    
   
 
    



  ∗

 #! 
     
 



  #
     
 
# 
!  ! 
 
   
 
 
 

      
     
 

#
!∃  
 
!   
#     
∃     

    
     (+    




 
#
 
  
 
 
&
  
!
           

 


 

 
  !

 
     

#∀
  # 

   
  # −         


 ∃   




∀
(&  
 
 

 

#∋
 


 
∗
 
 #
##
 
 
 
 ∗  
#



   
 #  #  
#&&  

 

 
 
  # 


 
∀
(+∃ 
 ∗   


   
∀
   
&

 
# 

 
   
 ∗ ∀  
∀

#   !       
!     
 
  


   
#    !
   
 
   # 

      ∃

  


∃
# 
∗ ∃ 
 

 & 
 
 



  


& 
 





∀−

  
 

 ! 

 !  

  
#
   !!
#∀+  #∀
+
!%!%   



∃ 

 ∃

 
 ∀ 
     !

   
  #

 ∀ −  −!
   .  . 


∃

  ∃
  ∃  
 ∃  ∃   #

     



!
 #      
  
 # 
!!  
#

#
       #
 
##    
    !    
 #
#  


    #∃ (+


∀+ 
    
 #  

   !#∗ 

  & 
#  

∀−  ∀ 
∀(
! 
 ! # 
  
!(


    
#  

 
 
#
    ∀
!
  #  ! 
      ∃ 
#∋
  
  (+,(# 
#  #
 


∀+#
#  
 
!

 ∃ !
     !)         &&

  




∗ 

 



#
 

/ 



     


 
#
    

 !

  

 
 ∀
 
 #
   

  



#
 
  ∃  
 !!
 
  
 

!
    ! 





   %&& )  ) 
#

!
∗#   
#
# # 
#


  

 !    
#   !
!    

#
 
!
    

# 
 &! 
     
 
  !&

 
)      
!
!!   


∀ ∀#∀+  #      # 



  


&  
 &   

# & 

        
 #  #
 &  
   


      )
  
  )  


 


∀ #
   
  
∀   
.
.

 
−
 − ∀−
    #∋ 
  &&
  
 



#∋
∗  

 ,((       
 
∀
  #
∗  ∃∃∃    
(+ 
 
    #

!(
#& 

  & &    & ! &  &!
  

#
∗ 
 
 #

#   
  


  
 &   !

!

#∀/


 
#

 
 ∀   
!#!
     

 ∀
!
!     

 ∀# 
  ∋
#
  
&  

 

    !      
! ! 
    # 
  


,(

 
+ 


   ! 
     

#  #    


#

#+
#



 , ,( 
#
#
  
       
    
 
 

 
     
 ! 

  
∀+ 
  #   
  
   #

 !∀/#    ∋ ! ∃ 

!   

∋   ∀  
   ) 
!   
    
  # 
  
!


  
∀∋
#∀  
 
 



 
∋ 
∗ 
  #
      
  

#    ! ∃ &   
  








,(+## 
∗  )  

  
 
#
# 
   


#
#

  #


#
                
# ∗ 
 !
∀   
  
 

∃∃
∗
! 
!  
      ∋


 
  
 

∋ +∃∀(#

&       

 !   
  ! 



  
# ∀
   ∀#     
 #

  


∀
∀
 

  ∀ 

∀
−    
 .

 
     
   
 ∀  
 




 !  
  
∀
 !  
 


∋
#

∗  
 

 

   #! #   &∀  

#




∀((+
  
#

∀∃∃ 
,(+,(    
 
   
#


   #   & 
 
    !
   

   ∃∃  ! 
 
   ∀  
 

∋ 
    
 


 !      & 

#


  

!
  
 

 
  &  
∃ 
#∃ (+∃       
   
# 
 

 !

! 
  

 

 





 
 # 
  

!  



  ∋  ∋
### 
#      
! #!

 &  !

#
   ((    
    

  
∗ (+



# 
 !
∃
∃
!   
#  
 
∃  

   ∀
#//
 ∗ 

  ∗ 
 
# 
 

     .∃   
 

 #  
##
 

#
 


 
 


   

  
    
     &
 
 
   
( 

   −  ∃    

  

 
!
(    ∀      !

 

#

#
 # 
  
  
# 
##
&! 
  &      & 



 
 
    ∀             
  
   


 ! 


 ∃ 
   !

    


 
     

 

#     !
(  !  
   #
   

#

#  !
  
 

      
     
#     

#


  
# 
    ,(#
#

 

∀+

  
#
 
## # 
      
 
    ∀( 

  #      
    
    ! 
      

  ! 
!  
 
  

# 
#
#


# 
 

 

      
 


 
#    
 
! 
!     

 ((+∀(


          
 !

 

   
!       
   
! 
!
 ∀   !
  ∀ 


 




∗
 
# !  !
    





  
      

    !( 

 
( 
     

  

 #
   
 
 
  
!


 


   ! 
 #
     
    
   )  )  
  


    
 
# 
     


#
#∀#             
!!  
 

   

  

 
 
  
     ∀/  #  
 
    & /
 ∃     
 
      
∀
 
  
  

 
  !    
#∀/∀−

&∀+
# #


!         ∀(

 #
 
  


 #
!

  # #
 + #∃ 

 


∗ 


 ∀   
  
!%!


 
#  


 

   !  

& 
 &
 
  
   ∃−
 
 

  &  




#∋
 ∋
∗ 

      
 ∀ 
 ∀−
 

   
 


+#
 

#
#
 
    #

 &   


 
#   
 #
  

& !
! 
∀
 
∀
∗
#
∗

 
# 

 
 

 !
     

 
      !          
.   
. ,#  


  !     

 ! ! 
!  
!  


 ##

 
∀ 
∀#   
 


 



  & 



 ∀ ∀#
  #
#
   
!  
  

#∀#  

  
!
 
    %
 
  #
 
   

 ∃ 


 

#
!
   
  
  

 






 
 
     ! 
#
∗
!  
 ∃


 
   



      ##   #


#     


 ∀#
 
    #  # # 

 &   
 #   
!     

     




  
 
 

   
 .  ∃   
   


 &   
  (+   

 
   
+∃
#∃ 
# #

 
 
 
 ! 
∃
∃
 ∃

  
   

   ! 
  
 
       
 
# 
 
 
 
 
    
  
&  
 

 
 #


 




 ∀


   
# (+#
&


 ! 
  
 #   +∀ 
(+!
 

      #
#   
   
  


 
 
   
 
    
    
    !
   !   
∗∀
# ∗
 #  
  



  
 ∀   
 


#  #  
         
  

    !
%  
    
# 
       
     !
!  

 
 !
   
∀
  
     

  
    
! 

   ! !
 
  
!


 # 
#
∗
 !  
 

∋ 
#
#    
&
 
.!

#
     ∗  ∗


 

   
    # !
 



 !  
        


 
   # 
# #

 
  

  .      

∃ ∃
∃
   
#  
 # 

&! 
  

∗
#   !  
  


 
    




    




    
  
      
   
∗
 ! 

&  ∀(
    
       ! 

∀ (+ +∃       ! 
,
   



 !!    ! #
 
   ∗ 


#!
 
    
  
 #
 # 
!(

 


      ! 
&
  
  (+,( ,(+## ! ! !! #  
#  # 
#        
 

+#  


#
∗
# 

!     



 ∗   ∀− 

  
∗  ∀
 

 


 

#∀


#

   
 
 
         
 

   




#
#

     
 
#       
#
  
 

 

  
 
 ∀ #
    
  #      
   



 
  


  

#
# 
 ! #  
∗!



 ∗

         
(+
∀
## ##  #  #    # 
   
+

       


− ∀
 ∀
  ! 
 
 
∀#




 
 
     
#
 
  
  !       
& 

#
  
&  !!




 
 

 #
. 
#
  

#

∀


 
∀
   
   

  
!



 ∀#∀+ ∃    
#
!
!
   
 
 !!
%
%∗ ! ###  
  & 
  
 
 
!
 

 
#  
   


      
 
#    
 
# 


#.

 
 
 

  

∃#   

## 
   !


 &  &+! 
 &  
  

   


 


  )   
   


 
− 
   
  

  
    
 

#!  

!( 
!
   ∃     
   

  #  #   #  
  #
   
# 



!   ! #

 

 



#  
#    
#
−∋ 

# 
  
#  
 #

 
   

  



     #   !  ∀ 
   
   !

  

 



 

 &
# 
        !   
 
  
 
 
   ∃  
  

 

     &  & !
!     
   
!  
 
∀(+∀     
!   ,((+#(+         
∃#
 
# ##  !

 
      

 
##
# 
# 



∀  /#
  
#  & 
   
∀(        
#
 

  
  


∃ #  
 
 #
  

  #

   
 
#  
(+

 

  
∀
   ∀#  
# 

 
!

 
  
  # 

   


#
 
 
∋ #
  
 !
 
  ∗  ∗ !  


 
 %
!#
#   
 
           
  
 

# 

 
 

∀
      & & 

   
 
  
#


 
 
#
   ! 
    
!

 ∀
  
  
    
   # #!  #   !    
!

 ∃
# 

 
 #
#
 
#
# 
   ∃ 
 ! 


         
+ 

∗
#
∗  
           


  

 #

  )  ∃

 
∋ 


#  
  
∃#     
   &



  ∋#   
! ∗ 

  

  
  ∃    ∀
  
 
 
  
      
!

##!   . 
 
&      
 


     
   
#   #   ### ! #
  
 
      
# #
## ∀
    
 
 %  
    !  

!(
  

 
       
 
 
 
    

 
  


 #
 
!
       

      

 


  
 
 

#
∃ 
  #    
 

  

  


 #∃ 
! ∀#

 #



  # 

 
 #
 #     ∃
#  !! 
   
 &   
 &


 
 # 

 
  
 #
     !
  #
#

!  
      

#
  


# 
   


 

  

 
     
   
!  
  





!
& 
 
∀ .   ∗
  ∗ 
!
 
  
#  & 
! 
! 

∗  &
       ∃  ∃      #  




  
  ###  # #
  


 
  
   
 






 &#
# ∃ 


  

   
!   

 
#   ∃

!#!#!#   ∃ #∃ 



∋
#
∗
   


 
#    !    
0

 

    
  
     
# 
# 

∀
      #   

   
     
∀ #  ∀∀ !
 
  
 
       
    
 


 
    !# 
  
#  !  
 #∋ 

#
 
   
       


  ∃
   !  ∀
     #
 
 #


 

   
 


  !



#        !
#∋
#  

    ! #  #  ∀
!
 


  
 

 
    


    
  ∃



   

∋
##∗∃   
 
    
   ( !(

 !
 
#∃ 
 &     








 #
# 
   

#
 
 
∗
#   
  
 
  
 

       
    
 ∃ # #




#∋∀/
#/
  

!
! !

 ∀
 ∀ −
∀− ∀−   ∀− 
∃     
     
 
     !

∀+∀



#
#∋
#∗
  
 
  


# 
    
!   
# 
    
#


∗ 




     & 


#    
  # #     

 
!   

  
&  

#
# !(
  #
   # 
 ∃   
  

 #   
 


 

∀#
#  
  
  
   ) !  !  !  
 
  
 ! 
  
     !
&!




   & 
         
  
  &##   !  ! !  

 
 


   
∀    # 
+#   
#!#
 #∃∃
     

  
& 

   
  !
   
 
 #  #

 
#    
.   
#
 & 

 
  )    

  ! 
  
    
# 
   
#
 ∀+
 # ! 
    ∃ 
 #
 #

!    ∋
∋ 
     
  

 
 # ##
     
       

  


  

  #  
  &    
 
&
 ∃ ! 
      !   
 
   

  

  


   !
   
 &  %
%
#

         
 
 ∀( #    
  

  !  &  
  
  
 




#  
   !       ∀ 
.   #!



    ∀∀/ 
#  
   #     #
   
  
  
#  #

∋
#
∗ # 
  
 &          !
  !∀      

##  
# 
 #  #  

  





 
 !  !  
  
    #  & 
&!∃   
    
#  

#
# 

 

#  
 
 
 !! #    
#    
 
 

! 
 #      
∀
 !
!
 ∀#∀   # 
 


     


#      
 

  ∗
   

       !   


   
  
#
#  #
 

&     


 #    
   
∀+
# 
#   !    

 !    !    . 
. .

       
∗ #
∗
# &  #
(!     
   



  !&
!   #  
∋

  #

        #     
 
− 
  
 !

 

   

  

! #
∀  
 !    #   !!
    #  # 
  #  #####  
   # 
           
 


 
 
    
  
  # 
#   
 
#!    
    ! 
  ∀

 


#
#

#
     
  ∋ 
∗ 
 
 
  ∀


  ∀(          // 
  &
       
 ∀ ! #

 
+  
#  !!  ,
 #

#



 & 


 

  
 
 
      & 
 

∀ 
 
#
∗ 
 
 #
 !   &  

 &
    
!   

!(
 
/  

  
∀   
 
((
#


   #     #




             #


#  # # !
#
#   ! ! !
 

!
!

 
   # #! 
# 
!     ! ∃
   

∋
∗ 
   
 


   

   #
  !   
! 
  
 


∃ # &     
#   
 
   
##


#






 #
#

,((+,(  

  

 

 
## 
(+ 
(+
   

∀+∃ !#
#∃
 


 #
  

    
∀+
      
∀    
  &! !  

  
#   #
# 

  
  & 

  
& 
#!

   #

!  
#
    (
 !( ,
  
# !     

  
# #

  
    !(      #  ∀
  
!   
#    # 
#

#
 


#   &

 !  !        
 
  
 
!   


  !∃ 


    
  

#
 # #     
  
  #  

&
# +∃   
  & #  !

!  # #


 
   
  !
∀
    . 


( 

 
   
 
  
! 
 

∃
# 



!∀
# 
#
    ∗ 
#
##      !     
# 

  


 ∀(#  
 
!%
   

     
#

# !  



 %      


  #

   
  
  ) 
     
#  
  


  
#   
  
#!!        #     ! #

 !
  


   



   !
 
           !   
 

       ∗       ∀


    ∋
&
  
! 
∋
   
 #
∀  
# !
 

 #  
 
  



 # # #

 
 



#
   
 & ###    &
 ∀/

#

#
∀/#/
#  



   
 
 ∗          ! 


  #  
&    

 
     ∀(




 
     
 #


   
    

!  )
 
#

# 
 ∀/
∀
     



∗
#∗



   

   
#
 !  
∃


 
    & 
   
 

 
 
 


  
 

∃  
 ∃      
 
  
  ∃∃
# ∃   ∃       ! ) 

     


 
 



  

∀
    





#

   
#   

 
 
 !
 !
       

&  
 !
#
 


!

    
     #    
 
 
   

 
   
  !(∃  



#
#  
. 
. 

    

 



 #    ∀# 
 
  #  
   
#
   

 ∋



    

 
   # 
  
    


 



 
  

#
  ( ∀(
     
# 
  ∀(

 
   !   
#
 



  
     
 !∀∀
#/

 #  ! 





  
   
∀ 
# 


!&  
   
 ∀ 
   
 

  
    
 
  
 
 
    # ! 
   
        


 
 !!

#

! 


    # !
 

#
# ∀ 
  !
  !   
∃ # 
 
  
 

  
  !    
  #    


 
#
   
 
 


#   ∀∃  
# 
!∃ 


 
   


  
  
   

#   ! 
   

  !




   # 
  ! #
 & 
!    

  
 
#   
#
 

! #  #
# 
#   
##   
#
 

    ! !



 
 
 

 
,(+##
  
 
  !

   
  

  
   ∃ #   
#
 

#     
∋
 
 
   

 

#  



 
# 
 
 

# 

 ∀ 




 
     
   
 
! 
 # !  
 
  (+ 

# 
# 
# 
 # 
 
      
∀  ∀ !# 
#!            

∗
∀ 
 
     

    # &    
   ∃  ∃
          
   
#
 


     ∀−   
 
 
! ∃
 ∃   &
    !
 

#,(

     #
∃
∃
   ∀  


 
 


  

∃   ∃   

   
  
#∗
    
 
       !  !  ∋
 &
 


#       &  


  
  

  #
# 
 


 #
 
∗    
∀/ 
   
 &  

∀     

# #  ∀
#  
 
!  ! !  !
 − −   
 
 

    #    −
  
 
−


    

   
 
 
# #
 #
 

! 
    !  
  
    ∃    !
!(
    
(+  ,(     

 

 
   
 ∀ ∀ 


 ∀  !

 

 
# +# +#

# 

 
#   & 

 

#

   
∀(
(
 #   
 
 
      #
 
  
#
# 
!


 !∃ 


  # &


 
#
#  ∀/


   
               ∀( 
 

#
# !  

 



 

       
 
∗/∀
#  ! ! ! 
  
#      #
#  

!    


#
 


    

   

   
 
  
 
 

    !   

 

     ∀(
∀(  
  !



 
# 
#        !   
 
  

  
∀   !  


 
         !! 

 ∀
 


   
 
! 
 (+ 
 
#  
 
 &&  &  

    
 


  



 
∋

     


/!  
   
   &       

# 

∋
#∋  

 
  
  

 # 
# 
  !  &   


  !  !
# 
 !
  ∀  


 

#∋

  
   
   
     
 



  &
& 
 
 
 !   
   

#

   
 ∗ ∗
#

 
 #  !
  & 

   # 





#  
   
 
!  
    #  
 !

  
#
#   !       
   

∋ &!
 




 
 



   
  
∀

  
 ,(#  #
  
#   # ∗     ∗
!

 ∀  ∀   


      


   
#
       

  
 
 
 
  
  #
     
 


 

 )#
!
!   !
 
   
 
 

   ! !##∀  !
)      
#    



( 
!(


#
 
 #
 ∋

∃
  !
##

 
 !

∀ −∀
# 
   
  
# 


 


  


 
 

## ∀
#∀   

  
 
    
∀  

   #∃
   !       
 
#  
  
# 


 ∋ 

∃
∃ 
 

 
        


     
     


  #
       



∀
&
    
 
      

 # #    
#    (+!

 

#  # # 
/
# #

#
#

  
 
  !!  
  
   


  & ∀ 

!


#  
 !
   
  

    
#
#  
 

 
    #

   
    ∀+#∀


       ∃
 
 # !#    


   !  
  ∀+∀
# 
 
 
∀  
#


 !   
 
# 
 
   
 ! 
 

 
 ) ) )   & 
  


  !  
  & 
!


  

  #        # 


 
 
 
 
              

#



#
 
    

! 


    
!(

,(
,(!! 
 ∋  !  
!
#!

       #
     # #

&

   
# 
 
   

∃

  #  
   
 

 


(+ 
 
 

  ! 
  



)! )#
  
     
 

+    
 !

 
 
#
#   
    
 
    
    + 
#∃(+∃
∀
 &   
 
 
  
  
   ! 

  

 

   
!  ,(

 !

 !
     

    
 
    
  !  !
 !        
# (+
#


 


  !    # !  
!
 

  
 

  #   




 

 
 #
   

 

 


  #
       

 #
 !##
#
 
 
    
#
∗!      ∃
   !  
 
 
  #
 
#
 ∃  

& +
     
  #
# 

#∋
#∋
∗
#  #   

  
#
!  
  
     #
  
# 
## 
∀−  / 

 
   !∃ 

     


!    




# !

 ∃

  


 
∗(+        !

##    
 
   !  !
  !    &  
 
## 
     #
 #
 
 
!
 #! 

 


! !     






  ∀−

# #  
  !&     # 
  
 
 

 



 
#

#  
 

    
 
 !
##
 # 

&!   
 
  
∃

 
! 

    
 
    #  ∃
∃ 
#
 
 
!
!( 

!(

 
  ∀  ! #   

∀+∀(∀ !(
 ∀

∀  
    



 &  !  
& &   ∀−
 ∀
−
   #  
! 
!  


     
 
#   #

 

 
∗ 

  
! !    
 ! !       

 
!(

 
 #  
     

 
  ∀
( 
  ∃ 
#∀−   !
!!



 
!&!   
     


#
   
 
∗ 
   !
!∗ 


. 
(+
#
#
   
  # 
&

       (+    #  
# 

 

 

  

#
         ∃ 

#
      #
 & &   




 # 




 
  

#    
   
 

#
!
 

 ∀

∗
#!   
 


 

  
∋         
 
 ! ! 
∗#!
     

 
   


 
       
  &   
  

 
 
 

∗#∗
     #   
   !

 
 ∋
∋   ∋
!. 
 
     
#     


   # 
       !   
# 
#

   )

 !#         
 #
  ! 
∗#∋  
#
∋
∗
!   
   
 


  

 
∀  # 


 
 
 &  

 
  
#    
    


 ∀ &

∀/∀
!   # #



#∗
 
 
    
 

 & 
&   #     
 

 
! 
# 
 
  
    . . 
 
#  
 
   
(+∃ ∀(
 
 

   &  

     !  

#&      
 ∀
 
∃         #! !
! ! ! 



  


   
#∀#
  
!

&  
    &  #


(
∀(

  
  
 #   !     

 
 



 #
 

    &   


     

 

#  
 
#   
#
!

#
 
  
   

 
 


  


##    



# #∀


!     



#




( 

   
  ∀(
#  
 
  #

 
  


  
  

#∗

  !  !( !      

  
  

  

 .

!# ∀(  
 ∀ ∗ 
 
 #

     



#
 

     
 ∀ 






&!  

 ∗  ∗ ∗   

   







  

    ! 
#
#   & ∀ #     


       + 
!∗/   

#,
!
! 


 
!     
 
∀
   #

        
  


!  

    
 !    
  #  
 ! 
   
 
 



   !


 

  
   
    
#
#

 

 
 
∀ 
&# !   


 #   
  

  
        

!( !

 



 ∃∃∃   
∃ 


      #   !   
 



#
#  !(
 



# #  ! 
 

∋  ∋!
 #

 
   
! 

  

!    ∃ 
#
#
∗
!#(+#
#

   
   

!
!

  #! 
&!
 !    ! 
   
!

 
 #

  
#  !
      
   !  #

∗ 
! #
 
#


 ∃∀ ∀(

 

 
#+ !  !      
    


 ∗       #  ! 



!##
 !#!#    
  ##
 ∋
    

(+∃ 
#  
∋
#
∗ 
∀
  
&!  
 
  
! 
 



 
  
 
     
#
   .

∀       ! !  

 ∀−  !(  



  .
  ∃# #
# 

  ∀(
      ∀ 

  # 


  #   
&!& 


 
  



  #
 #  
#   




 

#∋
   !)   
∗
∗
 # !  
 
 
    ∗ ∗
 ∋     
 
 # 
  # 
     
  




       #  



 

  
! 
 


#
#

# #  

!    
    ∀   #
  !
   

 ∃   
 
 
#   
    
 #

∀#  


 ! 
∀   
 
   
#   

    #      
         #       

 
!    

  
  & 
    
#
 
&! 
!  ∃!


 

    # 

 

        
! # ! 
    
!

 
/∀∀/
 
 
# 



( 
∗#
#
#
#
#
&  
  !# 
! #

+∃ 

 

       !# #
#  
    

#   #

∃
! 
  
  
∀     
   
  #
   

 #.
     
 ∀
     
#

 
  
 
   

#∀(

   




 #




    #
#   
  
   &
   
#
 
 
     
  
#  #
   


 
# #  

 
    
 !

 ∃   

#
#   
  #!
&  ! 


    &   


  +
##


(+,   ! #
      


 

  
! 

∀  

 
   
  ! ∃ (+
∀
∀ 
(+# 
 

   !   
 ∀ 
  
 
 
#  

! 
     !
   

 

# #

#∀



  


∃

#   #
# !
 #
#


#∗ 
 
 
 

   
!  
   

  
 
 ∋
#
 
# !     

  ! 
 
!   
   

 !
    ∀
∀  


! 
  


     ! !
!
∋


# 
  


  
#         !  
  
   ∃
 
∃
#  


 
# 
    #(+∃ 
#  
#    
 
  &

 

∗   
#    #    !  !     &


 
& & 
!
  
 

 


∀
#   
 (+, 


  
#   +
  
 
 !
 


 

 

#
∀/
∀
 ∃    
# 
 
 

 
∋  


 )  # !

 
   ∗



  

# 
 
#
  )  #


 
  
!(  
+  
 
 # &

∀+      

#
#! 

!
!! &
∃


%
% 

  

  
#   ! !
   
∗

∗# ∃   
     (( # 
 &  !
 #+ # !
  ##
  # 
∀
 !
!& # 
 #  
  #  ! #(+
 

 
#

∗ 

 
       #
  

 
   
#  !! 
    ##

  

 
     #  
&!

 
#∃   
∋
∋∀+ ∀+# +
    
 & 
∀   

∀#
 

 


          
  
 

& ∋ 
 
!    # 

 
#   
    ! 
# 


   &  !  !  

 
 #  #   
#

# #
 #   
%
!




    



 



. 

 !
        /
#∀
 
 
#∗
     

 



  
 #

    

 
    

  #


∗  

∋
 ! 



∋# !

 

   
 # 





!
  ∀ ∀ ∃  ,(   !!
 
 
   
  
∀/
  
 

#
    ##
 !    
∀ !!  & 

∀(
 −  

  


      
      
#

   #
#

#    &  

# 


       !     ! )
 
     #   #
 
!    ∃
       #  %
!    
 
 
#
 





 

#



 

      
!   !)!!!!   


          
   # 
       ∀(  ∃   ∀
∀   
 
&
  ∗#(+   % 
#  
    
  #

 
  

#∃

 


&  
 
  
 
∗ ! ! #    
+
∀+∃ #
 !
 ! & 
# #

 
. 
  ! 




 
  !   
#

     
 ∀  ∀ & 
  . 

  
  
∀∀+  

  
   #  

∋
   
!
 #      
  

#   ∋
∋
 !!  
    
 
∀( 
  #
 
 


     
# 
 ∀/
  




     
    
 ∃        !  !       ∋   ∃ 
 %!%
  # 
 ∀  
∀ 
∀ 


  

 

 


 
  !
 # 
      
 ∀#
 
 +#+#
###
##
#  

   #  


#  




 
  
 
  

#
 
!
! 
 !!    # 
 
 !
  #   ! !! 
  
#      & ∀
##  
  
 
#
  
  ,((

 

#    ∃
  ∀(
     


   
 


 
   

   
 

  
  
% #  

     



#

    



 

∗# 
#        
 ((#
,(

 
   
 
#
  
  
   
#  

     

  && 
#   
  
  
 ! 


  
  

   
  

#

#   


 
  

 #
 # ∀   !
   
  
  ∃   
#

  !
! 
 
 
  

&  
 # # &   



 
 #
    



       
 
∃ #
#
 
#


  

 
!  ∗   
   
! !
!. .#
!    #

! 
 

 
! ! 

   
 
   
 

     
# 
# 
#


#   
! 

 


+ #
!   
#
∗
  %%
!
%   
   
∀ +    
  ∃ (+∃
#
  ∃     

  
 
   
#
 
 ∀   

    
 
# + 

 #  
 
  
 

#∀
∀


/     

 
 
  

 #
#
!
+     




! 
!!
 
  !  ! 
! ∗ ∗





      #(+# 
#
 

     % 
∃ 

, ,((+ !  !# 

 
∃
/
  
  

 
 ∃ 
       & 
 ∀+  
 #  
   #


 
∀(+  
 
   

 


 
    
# #
 

   #

    
∀       
#
# 

   
    


   #



∀
 


∃

# # /#
/
#
 
 

 

#
!    &
    
∃     #    
    
 

&      


 


  #   &    



  
 
    
 
  
 #

  %


 

 /
# !  ! 
  
 
     !
 



 
    !   ∃ (+,(      
 
 
 


  ! 
#
  
!!
∗
!
#


 
   #  

   
   


  
     






    
  
(##


 
 

!

 #    

  
#   ! )


  
 

 .#
!! !
 
 !
  
 
#
   .  # 
#   

! 

 
 

 
!(     # 
#   
  
       &
  
. 


 

#
 
 
&! 
  



      #∋
∗ 
    ∃  
   
  
 
∀ 
     

∗
∗  
(+∃ 
(+  (+∃
#  #
! #  
     

  
 
∗
 
#      






! 
#

∀/   ∃ 
 
  


 
  
  
       
#
!!

&!
&!  
     
 ##

  


 #  !   ! # 
   
 
 ! 
       
  .
  # ∃
   
   !

# 
#



 
∀ 
 

!
!
 
  ∀(
 
#
  
∗#∋
#

 
   
  #
∃    
 
∋
 # 
 
 
   !    
   !   
  !!  
 
# 
∗   !   !! #   



# /
 
∋
#
∗
# # 
#
#
  
#
!
/
#∀− ∀   
 


 #!  ∀(
 
(  
 
#
 
   ! 
∀
  
         
    

#


##


∀   #    
 
 
 
#
  

 #



 !
  #    
  


∗    !(

 
 
#   
# #
 
&  &

      
 
 
   
  
 
 
 
 
  
 
 
 !  

& 
 
 !
∀



 

 

   
 # # 
#   
  
 
 
 

        #  
∗ &
 
∗ 
!         



#  
!
 

( 
 
∀
#∀
    
     ∃  ∃∃
∃
 

(+∀
(∃
##
 
#   
 
  #

 
 # 

    # 
#
#∋    !



%
   . 
  

     



 

 #
    
∀+

  ∗
∗
##
∗
#!   & 
 ∃
 
∀
#
  #∗



 

  &  %


  

%!
   
  

 !
   !  #∃
 
( !(
(
 !#
#
  ∋
    !     
 
 
 
   #      
# 

∀ 
∀+   
 # 
∀(# − 
  
 
   ! !


  
# 

   
 
 !   
 



 

 
    #    
    
 

     %   ∀/ ∃     
 

 

#
#!
∗     
#  


#   #
  
     #
  
 
#

#
  !
 )
  
 #
 
  
!

 
  !
    


  


 
  
  

#
 
 ! ! ∃
 ! 
   ∀
 /
#  ∃
 #  #
  
        

  #

# #
.

 

   !    
 &      #  

(   &    
 
#
#  ,((+#
 
  #
 # 



 +         



!
!  

     
      
  
 
  # 

 
#
 



 /   

   
 &

  
# 
   


 
 
! 
#
#
    
    
#

+ 
 
  #
#
   
#






# 
!       
 

 #


 
∋ 
∗





    !   


 ! 

 ∀
#  ∃ 
#/ 
)  
  
#
 .  
#



      
    



 
∗ 
  

 !

   +  
& 
  #  

 

   
 



 
#
#


#   

 
   

       
  

  

     

&!
!
#  
! 
  
# 
  

 
 

  


!! 



 


# !    

  
 
         ∀ ∀
 

  # 
 
 
     &#    
   
 
  
       (+(+   
  
 
  # 
 # 
# ∗  

! 
 
   
  #
 
 

#    





 
##     


 



 
#
# #
 !
 


     
  
    
! 
 

 
 
!   #


    
 #  

 
 #
  


#
!   #
 &

 


    !!   


     !)      
  &  ∃   
   

    ∀(

# 
 
 # 
 
   # ∃ 
#/

  ## 
#
#
(
!
    


 

        

        
  # ∀+#


 
#  
∀(


##
 
   # ! 

   ∀(
  ∀# #
! 
#/#  
   
  
 #


!(  !

##
# 
 
# 

#       − −



  
   
 
!(
  
 
 
#
#   
∗ 
  

  
#  
#  ∀∀/  # ! 
 

    


#  
  
 
!
 


 
#   
 

 #  ∀ #
   & 
 

 

#∗

#
∗   &    #  #


∋ 
  
  !  
  
    
 

 
!     # 
#  
#

#



  
 #
 !   
 


∋
∗ 
∗
 


 
  & #
#  
 ∃  . 
  ! ! 
 !


  

   
      
      
   


 /




  #    ∃
  &  
 

#
# ∀(#

∀(      
 
&   
 

 

    !  ! 



∀ 
∀ 
+
 
 

 #  
 




 !#


# 
 
#   &   
   

 ∀ ∀ !#! #  ∀(
∀ #  
1

∋  ∋
 ∀ ∀−
 
 
#


 
 ∀− 

!  


      
#   &  &
 
  &

#

  #
& #
        

#
 
 

#!       !  !  
   !


  !     ∀ 
!
    #  


 
#    
 
       #
! !


 
  ∀
/∀/
  




  
#  
!  !



  
       
# 
&
   
 
 



   

 
       

  
∃

# 

  
!  
#
∃ 
   
#!
  & !       

 !  
∗
∀  
#     
  ∀#  
∃
&


 !  
   , 
  
!



 
 


 


#∀ 

#∀∀
  

(

∀( 
∀ 

 
 
   

 
 
 
 
!      !


  
 
  
  

#
! #



−   
  


       ##
   
∀    #  ! # #
    
 
     

##    


∋#
  




 







  



!      


#   
∗ 
!  

 

  %  
 


 
  

 !   #∀
 

   
#  ! 
#  

∋   
#


     ! &   
((#      

   /∀/  




 
  
 ∀
   
 
!(    


(( ,(+ 

#

  
   

      
     

  


!( #



   
 ∀
 !

     ∃ !   
∀  
  
   

 
  
&   
 #
 
 #
   ! ∃ 
  
    

 ∋  ∃
   

       (+ 
 &  

 # 

  
  
 
  
    
 
(+.
    
 

 
  /# !  
 
    #     


  
 
#
 
    
  

  
#
   
∀      
 ∀   

.
    
#∀/  
    

 
#∋ 
!  ∃ 

 !   
   


   

 #
   !
 
 

 .    
 

 &   ( ∀(∀/
 
 ∋  


 
    

 #         

#
 !(




 #
 
!(

  

  
   &  
 #  
 

∃+
∀
      #
 (+∃   

 
 
      &   #  
   

 
        

∃   
   
#
   ((+((,(#      
 /

  



#   
 
 
  

 
 


 
 


 

      

  



  

 

!   #
#
##       !
 
! 

 
 
 !


    
  
  (+ 
#∃ (+ !
    

∀  
& &

    
#  


#& ∗
 

 
∀
 
#


      

     
!   
 

  
!    

& 

 !!
∀  
∀   
 
   


 
      !   
 # 
   


 & !  

     
 !  


  !    
   
#  
#

!    ∀/       

(+
 ∋   #
%!  



 #   

  !  !      

  #    ! !
 
 


& 
  
 
∀ +
   
    
  ##
     
 
(+ 
  
! 
!! 

∋
 
&  

 
  ∃       ! 



  !!  ∀ ∀ 
# #
  &  ∀+
 



 
 #         
   !
∀(

        

 
 

 !  
 
    !

 
  ∃       
 
 
       

 #
.   
 
 ) 
  
 &  
 
    


   


  #


 ∀−    ,      

 ∗

! #

 # 
           
     
  
#
 
 

 # 
  
 
 ∀−#    # 
 
   
 

∀


∗ 
  
  


 
  
 
       
 
   !!

 
 #      
!( 
!
   &   
  
 
 




 

   
 
∀ 

 
 &
! 
!  #      !
    
 !  
∗ 
  ! 



 
   
 # 
&!&
 ∋ 

#
  !(  


# #
 
 # 



 

    & & 


 




  



∀/#  

&  
 &!
  &!  
  ∗ 
 !


   
 
    ∀ 
#∀( 
∃
 
   ∀
#

+#     ∀  
 
  
    
  

 
    

     − −
# 
      


∃( 



      
 ∀   ∀+ #
  


 



#   

 





# 
 ∃ # 

#
#+      
 


 
  ! 
     #

     


 

 #
#
#


&
  
 
 #
#  
    
∀ 
 



 
 

     

 
#


   & & &    
    


 
∀−    


 
        
  


#    
 
 !!   
 !
!   
  

  & &

   ! 
 
!
!


  #
#
#
 
&    # ∗   

 
 
 
 
 
 
 
#
    
    
   


 
#   #

 
 & 
 
 &  & 

     
   #
 #
#
     
   
 !
  
 #
 
 # 
 

      
  


#     

#
∗ 
∃ 
∋ 
  



 #
#   
  & 
/   
 
 #  #  
 
  ∀(  
  
   ∀##

   ∗

!    
  
   
#
∃
#   ! 
   
! 
 
. 

             !     
 
 
    
 
 
   
   

 




 

 
 

 
 
   

   
!


 # 

  
      !
#
  


∀−
  ∀  # 
    



 
 ∋
 

  
  
 
   
 

# 
 
 + +# #
#
  
 



#  
&  
 
 
#


 
 #  

  
   
 

   
    

 
 
 
   
 #      


 
    !  
  !    

! 
    ∀   


  



# 
 
  
 ! &
&   
    




  
#          
 ,(#  !



 

 !(   # ∀(   

 #

 
   

#

 &     

      

#     
+#
     
+#

 !
 
∀  ∃ (+ 
  
 
  
#
∃
! 



 
    # 
 
#




 ! 
 
#  
  
   
 

  


∀ 
  

 &
∀    ! #!



#
  !(& 
#∀ #  #



#

#! 

    



  
∀ 
∀ 
   

  ! 

     
 
  #   


   

        
 #

 
#   

 
 
  
  # 


    #  
∗ 

 
# 

# ∀       
 

     


   
   
&   ∀ 
∀!
 !
  #
   ∀(

 
& 
 
 
 

 #
  



 
   


 

 
  ∀( 




  ∀
∀ 

∗
       

  
       


 
 ∀ 
 


    
 
 #  
# 
∀   
     !(   
 ! 
  & 



  

 !

   
  
 ( 


 

 
 #
#
   #! # 





    ∃  ∃ ∃     
%
!!  
∀ (+∃
##        


 
        
   !



 ∀  
 
  

  ∀ 
∀ ∀ 

 


    
 
  !
 
##

#      
  
∋

    
 
  #
∀
   
,( ∀
!  !

 ! 
     

     
 

       
 
∀+

∃



    ∗ ∗
!   
% # &!  

!   

#!  
   
      
       ∃  


  
 



     

  
 

   
  
!#
 



 ∀
  
 
      


   
 ∗ 
 


  
       

∗
  
   

 (+ 
# 
 
   
  
  
 

  
 . . 


 
 
      ∀(∃    
##
# 

##  
  


 
 &
(+  
  
     

# ∗   
# 
!           
 
∀(  #   

   &
 
    !
 ∀ 
     ∃    &! !

#  #  ! 
 
 

∀    
    
 



 


#
#

 
  

 #   # 
  
  

   
#!! 
 
 
∀   

#
 &∃   


       
#
   !
 
  

  


 

    #
 
 
 !


   #
 
  
  


 
 
 )
 
! 

  !
!
 
  
 #  
 

 !   
#  
 
!  #
 

#

# 

  ∃#
 

    

  
  

       


  # #     


 !    
 
   
 

 #
      !  !  
        


# 


       


  
# 
#

  
# 
!
 

∃

#





∗
  
 
 
  



#
∗ 
 
∃ 


  
  ∋ 
∗
   
  
 
 
 # 
  


  


  


  
  
 
    
!    &  &
 

  

##
#

# 
  #    
   
       
 
 



 

   !( !  !


        


#


 

   

   
 



# 
# 
#
   
  
  

 ∀   
∗∗
 !
 
#  .
 
(+!  
  
 
 
  
 

#  ∋
∋  ∋ 
∋
∀#


(+

∀ 
!
! 
#  
  







− −    
∀
 
  
∀(
     
  
  
        
 
&
 
&  


  

     )






 &
∗  
 
 #  
 # 
     !
!
 !
   
        
∀ 

  
   
 
      
   #   

  
 ∃ 
#
 


#
 
  
 #  ! !  !  

! 
&  ) !   

∃ 

  #  




   


  ∀   ∀
#
 !

  #  

  
  

 
    
    
∗ #∀( (+
∀+


 

#
# /
#
 ∀ !)  
∀(+      

 
    ∃
,(#

 
       

#
! 
 #  (( 
#∗

#

#
#

    

     ! 

 

 
     
 
    
###&& 
   
 
##
         
#  
 
 
 !  
   ∀  
#
# 
 
   

 
 
      
 #   #
    !       
  !  
#! %

 #
∋
∗
∋ ∋
#
∗


 

   
!
 

      
#
 
    #   

 
 

 

  ##!  

  
    
, #
 ∃ !   
 #


      
 

 #
 

#∋
#

# 

 

  
! #
 
#  

  ∀   

    #   
!  

  ∀  




  
 ∀
#
# 

  

#   
 #     
 

  ∀
(/
    
# #
  
    ∀



 
 

∀ 
 
    
   
 
 
 !       
∃∃  
#       
  
   !  −

#
 !    ∃
##
 
 
 
#
 

&  ∀      ! 
 
      
  &  
!∃     (+
     
 ) !)   # !    ! #       

 
  

   
  # 

 
#







  
#
#


#

 
∀   !

   !
!
 !
 !

 #


 

  !(!   
    
 !&
 

   
 !
!   !      

 #

 




# # 
/
#∀/


/
    
∀− 
 #   
#

  
# 
 ! 
!    
#   
   !

& 
   & & 
  
 



 
 
∃ 
 




 

     !     
∀
 


  &
   ∀+# 




 ! 
#  ∀
/∀
   # +
  ,(  
 
 ∀ ∀ #       #
 ∃
 
!
 
!
 #
     
  
  
 
   
−
∀ 

   !
 ∃
!( 
#  
 

#

 
 
!(# 
#
 
#   
( #
      
  &

 
#
#
    

  !
   
 
   
    ! 
! 
!
 ∀/  & 
     
∀ 
∀   


 #
 


 
    # 
#
 

  
  

          ∀ #  

  


  

# 
∗##
&!    

 #

     
#


  ∃ 
 
# #
#    


 #

∀
 
&
!∀  ! 
#      

#∃∃    
  
   ∀ ∀∀ ∀ #
 #  
!





# 

   #  
#  # #
# 
     
 
    # + ∀+        




    

 
!(
  
# #

   
      ! !

!  

      

 


# 
  #  #     
# 
 
#
#(+,(#
(+   # 
 & #∗   



∀+
#∀
+#  ∃
          
 

∀/#/   
  

        ∀ 
 
∀(
  ! 
   

  ##
  

#   
 #     
 
#∃(+ 
 
!   
 
 

!  


  
# 



! 
      
  ) 
 
  


  # #    
 
  !



        
  
 
   
  ∗   ! 

  



∀
#∀
   

 # 

# 

  ! ! 
∀/
 

 



!(

∀ 
! 

! ∋
#
 
 




  

#
   ##
∃ 

  
! 
!    
! 
 
#
  !     ∀∀#


#  

∀



∀(

  
##
!!

 ∀ 
    !
 
#&  
 
    

   


  − 

 . 
 
 
 
  
 
  
  
 !  
  !  
#  
 

!    !  
 
   
 
  &


  ((#   ! ###∋
  ! 

 




 
# #! 
  



##  
 



 
   ###
 #
    
 #
∗
   


          
 


      
  
 
      



#∃  #
    
  
    

 



 


 

  
 # 



   
/∀/
#  !//
 
# 
  

 ∃
∀
+∃ (+∃ 
#  
  
       



 ∀(  
 
#
 ∀ 
#∀
#/   



    # # !#
  



 /∀/ 

   .  

  

 #



      
     




∋ 
∋ ,
 
  (+  #

  
   
 
#
#  
##  
 # 
 %
 
 
    

  
  
#
 ∃  

     
 
#
#
         
 
   
 ! 

    
 
 
!   

   
∀

 
∀+ 
#  

 

       
  
# 
# #


     

#





   # 

 # 

    

∗   

 



  
 
     # 
  −

 ! 

 ##!

!
 ∀#
  #  # !




       
#     . 



# 

    #  

# ((


  ∃

 
&    

  
#
   ∃∃∃
  &
 &          

#∋
    !
 
    ∗


 

  ∋  
∗ 

   #

  ! 

#     !(

 !

 



  


       ∀(
 

∀ 
∀  
∀ 
     



!  !
! 
  

  !( 
!    
   
 
   (+     ∃#/


 


∀( 
 #

  %   
 
 
  
 
!(
 

!
  
   
 !
!  
 
  

  
   

!  ! 
        ## !   
   
 

 #
#(+ 

 
 
# 
##
#   



  
  & 
   
 

    
 
#
  #+
     
     
∃   
  ∗
!   !
# 
 


 
  


#!
  
    #((  
    ∋#  
    
  !    


∋
#
∗ # ##
  

 


# 
 
 
 
#
  
  
   ∋


  
       

!    



 

       !

%!%
 #
##
                 !  
 

#
 

 
 

   #






! 
 
∀/    ∃  #

. 


# 
 
 
  
 

! ∃
#∃ +∃ 
# 
#
# 
 
∋ & #

     
!) !  !   

 

 

 
    


∀ 

 
  #
# 
 

 #   
 

# 
 )  

 

  

 

    ∃

    

  


 
 
#
 
#   
  
 
!


  # 
  
∀  

  
   
 


 !    
! 

#
  
+,(
(+
    


 
 . 
 


 

∀
∋  
## 
     

  
 
  
  
  

#



 

#
∗

 ∋ #
∗ !

#  ! !  
 

!  

      
   
   ∀%
 



      ! 
     
  


 
  ∀      

#! 

 
  !     ) 
 #+#  
 
    


!(



!

 

      
  
 
&  

      
 
 
 

  
!!
 

  
   # 
   
  ∀
#
 ∀+
#


  !
 ( &     #


 #  &!&  
     
   ∃  

 

    
   !

#    
 #
    
     
# #          ! !
∀ 
   #


    


 


      ! !
∀

& &

  !(
 !

 

 
 ∀/   #

  # 

   (+∃ 
#
#∃ 
#
   . &

#    !
+##    

 

#
   

 #  ∀(
∃ #
 


!
 !      #

   
∀(


 

 ∗


 
!!#
!
#

 !  
!&
!
#

#
  


 

 

 
      ∃
 
 
 
     
 ∃ #  

      #,((+,     
#
−  ! #   






 
 

   ∀
#
 
  

     
    
   
     (     #

 

#
#& 
  !  
  

2

  ∀ & 


  !  !  

 

 

   # #
 #  
∃

   
  # #  

      

## 
        
∀  
   


 !  

!   )          


     

  
 
  
 
 
 ! ∃∃
∃
∃ 
 
# 
&  
 


      

#

 
 
  
    
  
   ∗
!∀(






      ! 
# 

 
  
+#∀
  

   #
 #,( ∀
    !

 !     

  
#   
 #
#   #

#!  
 
 #

 
   
  
   
  

  
     


  




∀(   (+## 
#
% 
        
 
!
 

∀
(+∃
#∃  ) 
 
&   
  ((  
 

  


 



 ∗     

 

 !
#
#


 !
 
 

 
 !  


#
#    
∋
 

  # 
  
 
 
    
 
  ∃  

  
#
   !





#! #
  +∀   ,(,( +∀+
 & 


! 
#
     
 

 ∀ 

 
   


  
  
    
−/!


#! 
    
 
#
 

 ∃  
#
 !     ∃   

∃ ∃∀/(
    
  #  
!
 #  

     
  !

  
 
∋  ∗

!
#

#
# 
 ∀ ∀#  


   
    
∀
    
  .

 
!    !

 
 #
 #  
 ∀
 ∀
 !  )  
 ∀

 ∃    #

    
 + +∀ ∀#
#+
 ∀+
 
 ! ! #   #   

    #
 
 
 
   



    

∀  
∀ 
∀ 



   
∗
 #

 
     
    
 ! 


  (+
∀ !
 
  



 
     #  
     
 !  
     

  # 
 ∃     
   
     #
  
  

      
  # 

  

!   #
 #      (+
∃ !  
∋
#
  


∀   





 

∗ #
 
 
∃
  

 !


 
    

!   # 


   

  

 !
 

##
# &   
 


  
   ∃    
 
#

  
 #  
+ 

∋#∋#
∗ #∀(  

  
! !


   
 
 
  
 
     ∀  #
 !    
 
    
 
(+   
 ∀   

/    

 

    

  # 

 

     #



 

 ∀/
#
& 
&

  


 
(+ 
)   
∃+∃
# 
  ## ## 
 
  

 


 
   ! !  
 


 



#
∗
#∋
# 
!    
∀/
∀
   


 
    #        
! 

  ! !∀
#

 
    

 /
# ! 


 
  ∀  



#
  
 !  
 


∀−
  
   
   
#
   


  

#    
   ,( (+
   ∀/
#  #   
&
!
#

 

#
#    
   
 



  !    
  
  
 #    

      
 
 
  
  
 #   
# #
    
 & &        
!  


 

#∋# 

    

  

    !
 !! !
 
 # #
   # 
     

  !   
  
 ∗
     ! 
#
 &

 #      

 
  
  
∀(+∃    

  
∃& 
  

 
∀ 

 
    



 ! #   
   


 
#
   #
 

  
∋

 
 
# ! !
 
    
 
  # #         #

 &      (+
∀ ∀ ∀ 
#

 
#   ∀
#
 
    
   

   
    

  
   
 
 
 
    

 
      ∀
 !  
   





      ,((+ 

 ,(  


  !
! 
 &&#
  
 
∃ #  
∗#
   
 

 
 
#       ! 
#  
 
  
#      
        
    #
 #&   




#!(

 

#  
!   ( !  
 
  

     #!  
#  #
#
# 


  # 
  ! 
  


#  ∃     
 
∀
#/
#





#
# 
      
∋ 
 
 

(+,+#
#


!


 
 !
!
  #   
 




# 

   #
 

      ∀  ∀ 


∀(  
 #
 #  

 
   # 

/  ! ! 
  ∋
# 

 ∀

∀   &   
    & &


#,(#    



 

  
 !   #
 
!!       

 

    /∀/
#/  

& 

 #  &  #
 


∀ 
 
# 

 
 
  ∀%
!
#    

!
     ∀/
 
 


 
 #    # 
#
    &   
 ∗      
 
#       
 
  
 
  
     !  


 ∃
  ∗
  




   & 
#
  
 
 

 ! 



 
  
         
   & 
  
 
  ∃   
    

  +& &   
  


 #
 #
#
 
!   
#! !   
  ∃

  
 ∀  
∀ 
    %!
 
 
 
 

 
 ∋
#
∗ #  

 
   
   
  

 
∃∋

 
#

#  
  #  
∃
     !  #  



 

 ! !   ! !! #
       

   
  





 ∋
#
   

 


 ∋
 
#!   & 

 
#
#
 & 
 
   !   
  , 
    
   
     (+ + 
)  #       
    


   

#
∗
        
 %
 ∋
 
 

 # ###
    #    
 
&  
   

%
 
  

    

  
 
∃#
   
  
 
   
  
∀+   
  
 
  !
   
 
  
 ∀#∀  /


  
  &
##
   




 
#
     &    


∀
  

/
  
  
  

 #
  
  
    


  

   

    

#+#
 


 
#
! ! 
  

     
# !


     ) !         & & 
  
  
 ∋#
  
 
 

  


∋
#!
#   

 # 

       



 

 
# 
     
&
  

       
#
#
∀  ! 

 
 

∀#+#+
+#    # 
 # 

   

    


 
 
##
 #

 

   
∀(

 # 

 

 
  
   
#
#
#

#∃ 
 ##
    ∀  
 
! ! 
    

 

     


   
   
 

 
#∀  # # #  
# #
(
#  # 
       

  




  &  
    
 
     
    
 
  
        

 
#  #


    & 
!  !!
     ∗    
 
 ∃   



   
       
 
  

 #    ∋ !& 
 #

#
    !  
!   
 
#∀/
#∗
       


#      
#
 


 


 
 
!

 
    
 # 
  ∀
 
#

   
 
 !
! 
 

 !   
# 
  ! 

   
  
  
 


 
 .   
    


#
 
∀ 



 

 

#
##  #! !   #   
 ! 

%


  &(( 

#
#
 
 


   

+

 
   
 


 
  
+#
#
   ∀( 
 
   
  
  

 
  
∀(
(
(
(
 ∀  ∀(
  #
∀#


 
∀+ #∗  
  
#  
 


  
∀+#    
   
    
 
 

 ∃  ∃

  !



 
#
  



        
 
 &  

 &  

 
# 

 

 #
 
∋
   
  
   ∀−∀− −
 
  
#


 

      
 #     ∋ 


 !   #    ∀
! 
  
  
  ∃∃∃∃∃
 !   

      
 &  
 


#
 #
   ! 


 (  
    #   
# 

∀ 

! 
  #      #+




# ∃     #   #  



  
   
∗  ∀ 
∀ 
 &

   
   
 
 ,(
   

   
 ∋ −  ## #




       !  ∀− 
&  

!


 
 
 



 
. 
  
 
! 
  
 
       
  

 
 


∗
 
 
 


    

    



#            ∋




   #    




#
  ∃ 
# 
  
#




∃  
#   


∋

 

  
#


 
 

!#
 

 &   
    !#! 
# !  
#      




 #  
    
  #     &
   
   



  #  #  & 

 
 
     
 
 
#
   
  #

∀#
!  

∀
 

 
  
 
#
    
 ∋ ∃
!    
∃
!  
 
%       
   !

  
   !(   
 

#/
#  ! ∋
# ∀#  
#
#
#
#  
 
#
 
!∀(
 ∋

  ∃
!∃

 ∃ 
 
 

   ∀  

 
    # #
∗

 
  +     ∀
( 
#  ∀
∀
# #
 
#
  
(+   


#∀
#  


 
   
# &   
  
 
∀(

# 

 
 # 

 
∃
  
 

∋
       
# 
#



#
# #
   #



! #



    


#
        !
    
−

   
!

   
# 
∃ 
      

#  #   
#


             
 
 
 ∃∃
     

 

    )           

#  #
   
  . 
.
# 
#


    
 %! !



     #  

 

∋

# 
 

#
   
&    

!
 
#∃
###   #!     
#
 


 

  
  
# 
∋
#  #

 ∀! !    
# #∀+ 
 

   
 !




  
   /  
 

  

∃
  &   
  


# 
(+
 

    
 
#

# 

 

  

  #
 #  
 
 
       
   &
     #




  

   

  

  
 
 


 

    ∀ 
 
   
      # 
  
 

 

∃  ! 



 ∀/,     
  


 
  
∃ 
      
#      ,(


# 

    
    
   ∋#∗  
 ∀ 

#
#∋

 ∋ 
    
  


  

#     
 


%


      & 
 
# ∀ ! 
 
  ∀#
  
###
#  ! 

 ! 


 
      # 
 
 
 !∀  ∃
  
  !   
 
 !  !
  !(  ! 

! # 
# 


&       
# 
∗
#
∗

 




 



 

 
       

  





 


 
    



   

 

 
(
    
  


   






  
   !

   



#  
      !    

  

 
 

##
 ∃ ∀
 


 
##(+#(+# #


!(!(
    #
 

 #
    

   #
∀

∀ 
 


#  
 #
!
 
!
   ∃    

 ∃
 


  
# 
  

#   /
#
# ∀/#
 &  

     ∗ 
   ∃ 
       
    
 
   

 

 
  

 
 
  
 
    
   



#
 ,
 (+
#∋
   ∃
∀  
    
 


 
−∀−  

 
   
 &∀ 
∀
# 

     



+


∋
∗
  
  
 !  ! ! !
 !   
!
 
# 
   ,
#
#

#
#
 
  
 /∀/ 

#

∀(

   



 
 ∗ 
!    

   
    !

   
  &     

#  

  
   
#   .
  
 !  
  ∀ ∀
   
 
    
#   
! 

#
∀/ 
 

 

 
 
   
# . 

  
  ! 

 
 &
 
 
! # 
    
#!

 
 
− #    
 
     
 
  !


!


!
 
        
  
  

 #



   
 

  
  
 
#  
# ∗ 



    
#
 !  


    
∀( 
  

   
!  
  ∀+
+  
    ∀ 


!
∀ 
    ∀ 
 ∀
 ## !  !  


 −
−
∋
∋#

 ) ) 


  
   +#(+  +#  
 

  
    
  + # 
#
#

#
  
   
 #
 
   
    
  ! !       

  ∗  
∃∃

     #   

  #(( ∃ ∃ 
 


 

 !   + 
 !) 

 
 
  #  
 

# ,     
 

  
 

 & 
   
  # 
 

∋   


#  
!

      
      
     

 !       !

   
 )  
 !
 
!

∃
 
 

∗ 
    


#
 #  #∃
#∃ 
#
#∃  
  


##∗&     
 


∀

 # 


 
  # +  
 
 

. &!     

 




    
   
    !     

# #  
 
   #∃ 
!   



 # 
 !
 ∀ 



 

 


  
 
  ! 
∗
   


#
      
  

#  # 



      #!  #
! 
 #
  
   ∗
 
 
  & &  
   ∀

#

 !  
 
 
 #  
# 
 

   



 
!#  #  
 
   

  
 
  
   #!  
 
  
 #



#∀  

      
#

 #      #     !

# 
∀
( 
!  !   

!∗ ∃

 %  
  
      &  

      
#

         
 !    

!∀

(+∃  !


 
#


!   
 
 
   


   ! 
#   


∃
    

   

#
# !
!∃  !  
#  #
!
  !) 
 
#
     
  
 
     
   ∀
 
 
  
   !  


 
   
  
∀−    


 
 ∃
 
 # 
#

 

 
#  
    
!
   #

    !
! 
   !
 
   ∋
#∋ 
  

%!



 
 &  
   
 


      
 
    
 

∋
 
 

  

 #




 
#   
    #

  
 

    !
 
 #
  
 

!∃(+

 
##

#
 
   ! 
! 


&   

  #  ! !


 

 
 #
−

 ∀
 
    ##
 
 
 

 # 
 
#
∗



    ∋ ∋
  
# 
  ∋
∃
#
   #   
 & 
  
#
  
        

#
 

     && &   

  
 ##
 

 
   ! ∀/∀/
∀
/#

    &
  
  
 
  # 
 ∃
## 
 
!

  
 (+
  .
 # ! 
   


 
 

 !
!
 #! !

 #     


 
                 
#



 ∃  &     !






  

 
   
 
    
 
 ##

 

#  #+   &
 
    
 

  (+! 


  
 
  
   
 




 
  
 
# 

 !∃ 

 

  .
  ∋    !   
!! 
! 

  
.  
!


 
∀+
∀(+
#   
 #(+#
# 
 

 





 
∋  

// 


 +
∀+ 
#
#
∀+ 
   !# 
 
# 




     ∃

 
! 
∗    


 

   


  
        
##
#
  
 
#

  

!  


 
+
 
 
 
∀
   

!    &

 
    
 &! 

 ! 
 
  
! 
  
    ∀
∀
∀(


#

#
    
 
  

 



   #. 
∃ + 
(+∃ 
#∃  ∃ #∃   


       
!  #  
   
  
 (+∃  
   
 . 
 
∀
  
 
 
 
     

   ∀

,  
     
 #        
  #!      

∋ 
∋    


(

# #         ∃

 
∗   ##   

# 
 ∀ 
!
#


 !  
  

∗ !       −  

&
  

∃
∃     #      
 ∀ 
  !!
!! 
&
!



   

    #
%
!  
 
 





 &      ∀     
 
 
 ∀
    

     


#
  

  
! 
   
 #!    ∀   &   
 ∗
 ∃  

   
 





 


 
 
# 
   
 
  

! 



   
 .

  



 


     
  ∀
  
 
# 

  



 
 ∋     

 ∗
!
!
  &
 
  #!#! ##



 ,(##
#
 
 
 #


   

 
         !  !   
&
  
∀ ∗ 
 

##

 
       
 ∗ #      
 
 # 
(+#
# 
∋

 & ! 

 
#   
 
 #  #
 
 
 
#


 
 

    ! 
  #  
   −
∀−
#
 


   
  #!#  #


  &
#   ∗  # 
 &
 
  #
   
     
  

#    ! 
 #  
   ∗


    


     
! 
   
 
 
        ∃  ∃
 ∃ 
   
      
 
 
   !    

 
  ∀−
−&  ∗
∗#
   
  ( 
# 

 
         
  
 ! 

! # 
 



−  
#∗  #  #
  



   
  


# !  !


#
!   
∗ 


#   
 


 
  
 
# 
      
    
 & 
 

   &  &
 
∀( 
∀
∀+ 
 
 

  
 
)
  
 !#
∀ #!
! 

∀ 
∗

##
#

 
∀



        
     
  ! 
&  


.   



∋ ∋  
  



)    ∀ 
∀  ∀
  #

  
 )


  
# 


 & &    !(     
 & 
  
 
 

 #
# 
!

∀ 
∗
  

  
##
∗
∗# #! 

   

 


#
#∋
  
∀#  # ∀(& 
 


#/
#
#∀/# 
    # ∃
 



−

 
 
 

  !
  
  
!  
 
    
 ∀    
    
 # 
  
∗∀
#        

  ( 
 
  

#  
  

 
#  ∀ 

  
  
 
&   
    
# 

  
   # 

  ! !
  # #   
   

# 
 
 #  
# #
 ∀(∃
∀/
#∀/∀#
#

∗
##!(

  
∋
 !
 
∗


∋ #
#    
  ( 
 !     
 
    

∃

    ! 
 
 !    ∃   

 
∀ 
 &       #


    
   ∀ ∀  
 
# 

#


#
 # 
∀    
∀ ∗
 #

 
#  !  
 

!  
#
∗
   

#∀
! !   

 
!   
 
 
∀
 
(+ ∀
# 




∀(
 ∀( 
∀
      &
&
   ∀ ∃ 
  ∃    #
  

 ∗
!
!
! 
 
 
 .
  
∀##  
 

  
#
  

  
 
#∗     !    
#

 
∋ 
∋#  




∀ 
  )   
∀
 
#

#  



 
!
!     
#  #!!
  


 

    
  

 ! ) !


) !    

& 


    ∗
##
  

&∀

#  
       

 !

     

 



 
  #      
∗
 

   

  


#  






∋

 #
#  




   
    
   ! 
   !

   

#,(+,+,(∋ 
  #
#
   


   


!∀∀

   !     !
!
          !  


#  ! # # 
  
     #!
#
  
 
& 
   ! 

  
  ∋


 
    



 
 
∋   ! 

     
  &  
 

 
  



#     −
# 
  #
 

# 

    



# 
# 

 (((
(
#∀



#
# 

 #
  


   
  !
!  
    
 
    


  
 &! 
∗
 

 
   
!
∀
#
 ∀ 
∀

∀  
  


∃    
 
∀
(   &


  !!   # 

∋ 
 




 

∋  !!  
! 
 
&# 

 

        
−  
## 
# 

!
! 



 
 & & &     
#
∃# 
∀

   

# #   #   !
! 
 


 
           
!  !
  & #
# 
  !
#   



 
 


      
    
 
#
 


& +,(  ## ((+ 
   
 

    #    
#    
  

 
 

    

 
  ! 

    
 
    
 
    /  
 



 ∋ ∋ 
∋#∀
 

 # #! #
     
 

   


     
# 
 

# #
  
 ! 

! 

   !  !  &   !   
 
 
    

   
    %  
    
  
# 
 
 

  
 

 ∗ 

#
#

 . 


  
 
     !   


#∋ 
∃



 ∀ 
 ! !   ∀(
∀(
 ) )+
∗ 
 ∗  
  #  




   
#

 
 
   


    
  
 
# 
 !   !

     
  



  


!
    
 
  ∋#
∀ 
   !
### #
#
   
 

#

 &
 
 
 
 

 
      # 
#


 


  #
# ! %! 
   

 
 ! 



 
# 
  



%!     ! 


 

 
 .  
 # 
 








   #
    ∀   
 

   ((
! ∃
((#  ! 
  ! #!  
# !
∗

    #
 . .  




#
 
 
∗∗
#
∗  
! 
 
 
 #

 #     
 
  # 
# 

 !
 
# 
   
 
 .   . # # 

  
  
       # 
 
  #  

     
 
 ∃    ∗
& &






   

##

#

  ∀
(
 
 
#
 
    !
 
#  (
( ∗
# 
   

  #   # (( 
 
 

  
  
   !  
# !     

 #
    
 
  


  
! 


      
  ∀  
  −∀    &∀( #!  



&&
&&
 
 
    
  

!  

  #  ∀

 +#+   

!
  ! 
! 
  #
#   

 

 
  
      !

!           


 !
 


 
  

 

     # !)    
#  # #




( 
 ∀      


 
!

 !    
∗  ∀
/
#
#  ∃      
 
 
     
  
 
  ∃  
# 

        


      
 #  ##    




∀
#  ∃ 


# 
   





  
  
  

 
  ! 

 &


 
 !     &
  
#     

  
  

     


&!
   
  

 
     
 

   
 


∗ ∃ 


  

 #!#
 
 #     #
  
      # 
 




   
    ∃ 
#


   #
! 
  
   

# !
 

 
      
 
∃ 
 
    
 
 & 
     
# 

&
    
 
   


#





  


  !  #


    & 
     

∀     
 

 !
 !   #

 

 
   
∀ !
  ! 
      & 
!&  
#  ∀

−
−  


 ∀
        
 

∗

 & 
   
#∗
 
 
   
  & 
!
 
#   
     #∃∃

 & 
 
 &   & &  & 
∀+

   

 

  
 #
#    
  

 
 


 
##
# 
 ∀ ∀ 


#  

  # 
 
       !



  
!#! !  !   
 !
!  
∀# 

  ! !


 
   #
       

  
!∀(
∀  
 !

#!   !
%
% #
  !
!  
            &  

 
  !   

   
  
  

  ∃
 ∃
 ∃! 
  #
  



  
#

 




 
# #  # 
#
  +
 
+#
 
   
 
 
 

# # 
 

 

 ∀  
 

!   !   
&!
  &
     
 ∀(  #    

 

 !  
!

∀( ∀(∀
#(  & 
  
  #   (+,((
# #
  
    !##

#
#∀∀
#    
 
 
  
  
∋
#

∗  ∀
       
    
# #
 ) 
  

 !  
∗ 


 !


 
/
#




 
  
   
 
   
 

  


   


  


 
  
 
          
#
#

#         
     
 

 

!(      #
 #

 
!
      
  #  


       
 

 
#

 

 

     

   &
#
&


  ((

  #   
∋

∗

   




 
 (( 




       
 # #
#& 

   
      #∀
#   ! 
  + ∃  



 .  
   ! 
!
#∃
∀

 
##

   
# #

    

(



#
#

  
   ∃ ∃    ,(
#   

  !
 
   !    & &
  
∀
    
∗ ∀       
 
 ∀    


   
 
  
  
  #    


 

#  
! 
!
# 

 
   
 

# ! 


 



   
   
# 

∃
  

  
 (+
 
### 
 !.   !   
        #       #    



         
  

 

  


  &   (

#
 
 !
 


#
 
&  ! 
 
 ∀ 
  # 
 
      




 
   
          
∀( 
# 
    
  
 
    
 !
  
 
  

 ∀/
  
#
  
∋
 
∋
   
 

 
      
   
 
 
  
  
 #   
 


! 
  
 
  


!  
 
    #
  !& 
     #



 && 
  
    
#
  
∋ 

 
!# 
#   
  

##
 (( 
    




 
        
#  

  

!    /
#    # # 
!


    
   




∀ 
    !)  
   



 

 
# # 
!  &   
 


 
 
 

 
%
   
∗  &  
 
     !
     
 
 
   
 


 !
!  ∀

 

    (
( 
                ∋
#∗
 ∀
#    
#
 !   
    

 +
∀! 
#
 % ! 
   #

∋ 
∗  ∀


#


 #
     !  
 

    #! 
∗#     
 
  
∋#  #
 
 
 
 


 
  

  
∗!   

∀− −
!(
   
 
#   
    

  !
  
 # ! )! )  
∃ 
 
 &
 
 

 &   !)
!  

∀   #   ∃ 
 
#   

   


# ! #
 & ! 
 !  

  
 

 ∋# 
    
#
 &   


 
 
 
   

  
∃   
 ∀ ∀ 
 
 ∃

 
   #
# 
 
 &  &
 
    
∀+#    +
.!

 
 


.#∀# 
# 
# !      
  
 
 !%     ∃
          

   
 ∋ 
  
        
  
  #
#    ! 
 
# 


∗       
    ! ! 
!
   
! 

 !


 #

 



   
 



(     #  #
 ## 

 

.

∃  
 

    # #
 

 # ! 
#   

  #   #
  

 
    
    − ∀   !

 
  



#




  ∋#∋
# 
 
 #
###
  

   
 
 !(

 
  #  # #
 

   



!
 

   ∃∃     
 !
  
 
!∃  ! 
   
  ! !    
  
  

!
   
 
∗

     
  

   

  
       
 
    
   


   
 







  &  
#∗ 

   
 

 
(+ 


 
##
##
  
#
# 
#
    !
!

# 
#  


    ! ! 
&
&     

     
#   # ##
   
+
∃
!   ∃     

   

∋

! 
 
∀

  
  ∀ !+  # 

#  
 ## 
  
!(

 


 
   !  #  


  


    
 
      
# 
# 
# 

  ∗     


 

/

  ∀ !   !
    
∀
#  
∀

 

#



 
     


#  
  
  % 
  

 
       



     
   
 
∃
 
# 
#        ! 
#
  & 

   
#

 
#    
!  

  
∀(



   
  
 
!  
! 
       
  
!  
 !
 
    
   
    
#   !
   !∗


 # 
  


!
      

 

 
  




& 

∃∃

#
 
  
# !

! 


 




)  ∀

   ∃   % 

 &

 

  !  


  
!

   #  
 
  &
!&
  
  ! 
    
#
#    ! 
 



!)#  

 
    !
 
  


#

   


#∗) 

  
 ∀   
∋

#
∗ 

  
#    
  
  
 #  




 
     
   ∃      
 # ∗
   %
%%



 
    &
−+∀  

 





      
 
−   &    


 
## ! 
   
#  
  ∀−  ∃




#



∃
 
  
 
 


!

  #
  
   
#
 
(+
  

       

. 

   



∃ #

 

 ∀


 
    .    

  



 ! !    ∀   
 


 ∃∃
       
 #
( 

  

#
 

     
 (


# 

!
 
  
 
& 

 

 
 )  !


     


       
##
 !
  
  
∃ 

! ∋
#∋
# 
  
 !  
%




# 
     !
  
  
  
 
        

(  
  

 ! ) !  
! 
 & & 

   
#


∃ (+        
   



,(+!   

∀+# 

 
 ∗
 
 
 ∀

 
           ∋
 ! 

  
   #
 ∗ ! 
 
! ∃
!∃


 

#   #         
  

    #
  
     #
   
!#! #
 

  

 
#∀ 
 

  

  
  
   #

 


 
     

 




  
  

 
∀( 
, ((#

∀−
 
    
#  !    
 
  
 

 
 ∗ 

 

 
  

  !. 
 
     &
  &  
! !
&!   ∀( ∀(

 . 
 # 
    
    
 
    !  !


  
 
  ∃! !    





#
#   
 
 #
 ! 
 
##
#    
#∋  
 

&
   
   
 
  
  
 && &
     
 #   
# #
 
 #

     &   
    

#
 

 
      
#
#
 
##! 
 #

 
∋
  



#,&∋

#  
 

 
 
  
 
#     
        
     
   
#
   
∃  ! 
    
  
! !
  
 
 
    
 !#



   
   

 


 

∀
∀∀( 
   #∃ 
#  
# 
 
 #  


   

      



#




 
∋
#

 
   ∃∃

    
 
# #  !  ! 


∋

#
        




& .     

   
 
    !  ∗

 
#
  
  


  !   ! !  
   
  

∀(  
    

# 
 
 ∀( ∀(
∀(
    !
∀+


  #    #     

  #
  
 
# # #
  
#
#
#

  
 


#

 #
#

∋ ∀
(  !(

  
  
#     
   
# 
∋ #
     ∋#
∗
∋#
∗

#
∗  



      
  !
 
   
 
  ! !  !
  

     


 
∀


 ##

#   
#
#  
 
    ∗ 
 

 
    
∃ ! #  
!

  !
#    
 ! 
  
# # 
  
         
   
 
  
!(
 
#    
    
#
#
#   ∀
(+∃   

 
  
  
   #    
      



∀
   & 

!   


 #   
# 





 
  


          
 !
!   
 
 
#!  
     

 

  #  
   
  


 &
 
!

!
 !   


  
 
 


   
 
 
 
 
    

  # 
   
 ∀  
 ∗
!
 



 # 
 
#     

   
 
!  
 
∋
#      
& 

  ∃  
  
   
 
 
! 

  
       
 
 
#

 
#   




  
 
   

##

#    !

 
    
    
  

  

 #
   


  
 
 

& ∗ ∗
#∋

∀  

 
    
  


  


     
 
!  


 
    
  
 ,(,((+#,(      !    

 #  

# 





 

# &






 


  
  
#
     
   
 

 
 
  
 
 

 .!(


 

 # 
   
∀
∀

 

   

 #   
#
 !


 
 
        



 

   



  %  
      
 

  





  ! 
  &
 
∗  ∃   

 
 
 

   




∋ 

   
   !       &   


 !
    

  
 
  
 

##+ ∀

  !  
!

  ∗

!!
!#

∃
! 
!  
  

   !(

     
# ∃ 
# 
 #
 
! 
#
   # 
 
 

#
 #
 
# ∀ 

 
( 
 
  
        
 
 #
#  ∋ 
! !
  

    


 
 #    &  & &   
         &  

 ! 
 !  
!

 

∋# 
# 
      


#
 
(+
 !  

 
   
   
(+#(+#
#   






#  ∃
  


 

   
 #

 !  !
   !

   

  !   !
 

  !
 ( 


 




  
&!  

  
# 

 

   

 
& & ((#    !)  #   

# 

 
∗    ∃   
     

  (+
#    
!
/# ∋

 &  
  
) )  !(
∀ 

  
 
(
  

 


  



  .  
!  #! 
 &   #      /∀ 


 ∃
# 
!(  
  ##  (   ∗
     
    

  

       #∀
###
# 

#∀(
 
 

   


 
∀ 
  #  

   #

 
#   
 


 
!∋ ∀ #   &

   ∀∃
 ∗ 
!
  
(+,(


∀ 
   


 
#  # #

  
∀  

  
,(  ,( ∀−
−
    −  
 
∀(
 ∀+#  
 !  &
!      
#   ∃ ∀( !  !       
  

#

#   
!! 
#      !∋   #
  ∀  
   
          # ! 
     

  !!

 ,(   
 

∋

#∗
  !

  
  ,(+#
#  
  
  &   !   
 
  # 

  (  # 

# 
# !#      
 

 

 
   

   ∀
# #
 
 
   

 +#
  



#   



#  
 

  !    ! ! 
# 
 
( 
+#∀+  

    
 
#    
  &

#
! % 
   

  (+ 
      # #
 

      
 &  # 
#∋##
∗ 

  !(
 


 
  # #
 # !!
!


 
 

   

#        

  
        





      
    !     
 
 & 
    
!       
  
 
  
! ) ! #  ! #      
  &   

 

 
 
&
   
#
 
 
 &  & 


 
 

    
  



 !!  # 
           ∗
#

  #    ∃
!

 
 

 




#  

  

    #
∃ !

 

##
# 
  

    #





 

 

    !  
!  

∋
 


∗
#
∗      

  !
    #  
 
  
 
  
 
#&&
!!


∋ 
∋  !) ! 

!
 !  
  
  
   &
&
  

# 


# 

    

##
#     
   # 



 

  
!
! #
#! # 
  . 
  
&
 

 
   
  
#     ∗     &

 #   
 
# 

 

 
  # 
!  

 !      
 

#   
!      ! !
   
  !  ∃  
#
 
 



#       

 

 &   
 !#
∀+    


 
 

  ∃
   ## ! 



 ∀    

 
 ∀/
  #
   
  ! 
 
 #  
   & 

∗       


#
!     ∀−   

  

 ! 
   
   
 #  ∃
#
 ∀        
 !(!! 
    
     
     
 
.
   
 




 
!      
 !(
     +∀#
   
#∗
  # !##
 
  
        
  


∃∃


     
  #



#
 
 

! 
  
 
    
# # 
 ∃
##

 
 

# 

 
     

   
# 
  
! 
 
  


 

 
 
#
#  #
#
 
 
 


 
 
# 
     ) 
   

 !  
∗
#
#!&! 
! 

 
  
  

#   
  

    ∃  
 
#  
    
 

 
  




#
##

  

    
  
 

#

# !    & & 

 
 
 



 ∃   
     %      
  
  
# 

 
    

  

  
!!  
# 
 #
   
 !  
 
#


#
 

   
  
  
   
   !   

 
 



 (+∃ 
   ∃   #
 !  ! 

 #
 
 
!!  

       


 

 ∋ 


 

  
!  #

∋ 

#

   


# 
#  


    
  
# 


 ! #  # 

  

 ! 
  
  
     
 
 
  

    
   
 # !  
 
 
 
  
  )  
  
  
# # #  

     
 &   
 



  

∋   ∋

∗
! 

!
∀   . 

  
 

 
 

∀(
 
#  

  
  


!
  
 ! 
    !   


  
 

 ∀
 
  # )
 

#   #
  

 
   

   !

            
 
    
    
! 
  




 



  ∗ 
 
#    ∀ 
  
−  


     #  # 

#
  &!&! 
#
# 
!         
!
#
  ∀!  #       !! 

!  !  
  


    ∀
 
   &∗        


  

   #
 #    

#
  
 ! ∗


  
#### 



 




 
 
∀ #
∋ 

#





    
!


 

   !

#   ∀ 


    

 
 
    ∀
    ∃ ! 
  
  
      !!  
 


∃  
 & 


#  
 
 



  
  ∋    
 


∋
#&
  

   
#
 
#
!
   
 
   !
# # 
 


 

 

& & 
  ∀(+ (+ 
    &  !  
#
 ∀
   !(

 
   #

∗  
∗ 
∗ ## 
 
 

∋
# 
 
    #

&
∃
  
#       
        

 
#
  
!
 !


 
  
    


      

 !  
 # 
 !

#
  
  




 
  
     

   ∃  



           
  
!(

#
#
#

       
!  

 
  


    
   



   
  

   
∃
 ! 

 
 
  
 
∀
!
   ) 

 !  
   
#



 
   

    
  
 
  #
# 
  
#   # 
!! 

∀ 
  ∃∃   &  ! ,(#
 

    
 # # 
 ∀(
∀
∀( 
 
∀
 ! 
  
 ∃ 
   ! !
∀
  
       
   
#&    
 
!
 ∋
# ∀   
∋ 
∋  ∋
   
 
 #


 

  #    ∀∀

 
 #∀(

 

!             

   
∃       
 
   #  
     
!(
   
  # 
 
   
#
 
#  




 #
 #
 #
#
!




  


     
    
# ∀
    #  
    !   
 # 
∀/#
#
#
 ∃   
#
# 
 
 

  


  
 

 

 

   
! 


  
 



    
   
#  

 
∀ # 
  



∃ +
∀
 ∀
 

∀+ ∀(
∀ 
∀   
        !
 ! 
 

# 

    

&!
&  
 !     
   
∃∃ 





   !&   


 ! 
 
  
 
 
   
   #


#   

 
#  
 

&
&
  
   #
 
         ! ∃  &


   ∃   # # 
 #


 
# !  !  ##     
  #  
#

 
  
 ∋
  

       !  !  &

 

      

# 
 

   
 ∀ 

 



 

 
  
 
   )
 

#  
! 
    
  
 !( # 
  
  
 #
##    #
  
!  
 

    
       
 !
 !   !         
   

 

 
     
%
 !  
 !
  

  !

#   


# 

  
 # 
# 
# 
!  #   
 
# #
  



 

 
 
    
 
 
  
  !    


  
  


 
    
  

+ 
! 
 &  
 

∗ ∗ 
!      


 


    
 
 !


 ∀    
 
 !   ∀   

 !# 
#
#
 ##  
 
 ( 
 



∃ 



   
  
# 
 

   

   
     

 

 
!(

   
  


 
#
#((+  ((#
 
   # 


 
 
# 

 
 

 


(+!
 ###
# 
 



∀ ∀( 
 &  
#   
#  !  


  ∗
#     #
 



 #

#      

# 
   
  
 

 
  #
   
    
 
# 
#
   
  

 #
 
   #    
#  #
   
 ∀(


∀( !  

&
#

  (+
# 

∋
#      !  
  
 





∀
  
%
 #
 
 !   
   
  

   


 
  !(
#

∀(

#  ∀

 
   
   
 

#
#
 
 
 &  
 
 
 
  
   
#
# 


#!    
  
       


    # !

 
 


 
  
!
#&
&   

 
#  &

 ∃  
   
 ∗     

 #   
    



   &  
!! 
!
!
#∋
  
+
∀∃
#  # 
 !
 !!   


!     #  
  

  
∀# ∀ #          ∃
##! !!#       
 

    
  
   




 
 
∃  



 
!   


∗
∗

∗ 

#  
− ∀−
 
  
# ! # 

 

 #

 !  



   ! 
 #
     




  

 
      ∗
 


  #∀/       

    

   
 & 
!   
∗   # 
#   

 ∀(
∀(!

 
 

  ∀
 ∀ 
  ∃ + !
      ) !∃   
 
&


 
    
  
 ∀(
   # 
 
   

 

     
     
 
#,(
   &
#∀/
#  

#
∗
∗!
!

  
 
 

∗
∗  
∗

&          
  
 
  
 ,(    ∃
∃
∋ 

  



 


 
  #! #  
∋ 

∋   %    



 .
#
∗      #
    ∀ ∀ 

  



   
!      
# 
  !
  #
#

 
 
+ #  


 

   #!   ! ! 
  
 
∋ 
#
∗   




  



 
#   !( 
 
   
!
 
∋ 




 ! !  !
 ∀


+,((
 &
  
+,(
 #       
    
 
 
 
   
   
  
      & 

 
∀ ∀ 

 

#
 #

    

 


     



 !

 

 .
 
 
  

#          
&!

  
  

  
   
 
 
 
 #   

 

 
 
 

#
#
 


 

 #
# 
#     !
 

  
 & 
     
     
 
+∃ 
∃ #


     . 

 
  


 
  #
 ##

   #


∗ ∗ ∗   
   
# 
     
 
  
!(∀(
 
  &  &  !
#
 #

∃!   
 



##    
 
!   &   

 
 #    
 
   



#

 #
    (+ ,((+) 

 

 
#   
    &   
  
 #
− ∀
! 
 #

  

∋ 
 . 
  # 
#
      ∗


∗   

  


!   !
!∃    (+
∀   
 

 


#
    

#     

#
   
 
##

#

∃

 

 
(
 
 
 
  
  
 #

  
  ! ! 
         
 #
#    #   



   ∃ 
  !


∀
  
∃
 

# 

( 
 



  !    !  
# )

#     
   
   + ∀ 

     


  
    ! 
#
  #
 &  
    
  

  
  !%
   & 

 
∀  
     
 
#

#



 
 

      

& #
 !  



  ∃
   
 


   
   


 ##  )       

#


 
∀       !
 
∀−

   
 
  /   

   
∀ 

(+
#   

#

##
##
#
(+ ,(+

  # 
 
#    
 
#

# #

&

∀#
       ! 
∀∀
    ∀(  
#  #

    
 
 
# &! 
   
 #
 
 −  

− ∀

  %



! !

  !  ! !
! %    
 

 
  
  

   
  
 #  
  & &     
+∃ #
        
!  
     



 

 
∀/
# !(!  

  ∋ 
 
  
 
 

 #∃    
#
#
# #
 #

 
 

      


  
         ###
    #∀+
∀ #
  # 

#
 )



  
   #
    

 

   


 
#     &

#          

 !           






∋   
#∋
#

 . 
. .#
 
%
! 
∀∗  ∀  

 
# 
   
  
!  #∋
∋
 
 &  
 
     
#


# 
#
 
       
 
   
      & 

∋
 


   
 
&   
 ! 


    

&
!       
    
  / 
  

# 
       
! 
&     
 !   
 
 +# 

 #
!  ! #
 
 

 
+ 
 


  
 
  !   
 &

  &!
   #
 

 
 

 
 
    
  
  


#  !          

 
 
 !
   

 ,!  
 
  
    & 
 



#  
 
#  (

#  
  

   

   
 #
    !   #
   
   

 !
 
! 
!! 
 
 ∀( 
   


  
! 
!!  ## 
 

          
 
   
  &  
    
 ! ∃
       

  
+

 
! &!
 #
 

#!#!  
 # 

! 


  #

 

 ∗ !
!
!     
 
   ∀
  !
 & 
  
 
+  

  
    

    #
##
 # 


 
  

  ! 

  &    
 

  

∀  !(+ #  
∀(
##
  ,(#

 
 ## 
      ∀
!

 
##  &  −

∀−


 ∀

−  ∀−
   

 #

  
 

 
#∃ ∀/##


 

        

 
#
##
# 


 &   
   
 !  #   

   
 

 
##   

∋
#∋
# 
  
   

   !  
  ! 
%
 
!

     
# ((# 
#
#
    
   



    
    
!  

∀ ∀ 
# 
 )
 ! 
!
 
 
   ∀+ (+
∀#
−   #


  
  #  
#
     

    
∀− &     
  

 
 ( #  #  
 
 
  !


 
       
 

 



      
 
  
  
 !  
 
 
  

 
   
 
  # 
# 
   
!  !  

 !  

∋
# 
           
 

&  
 
    
∀/#     

# 
 
    




# 
 
 
 




 

//

 
#  
 
#
#
∀
∀∃(+

 



#∀∀
∀∀
# !!

    ##



∋
∋
#∗  

 
 !
  



  ∗
∗∗#  

(+ 
 

   
      #     
  



   
 
  
   
 

  & 
 /
#∀
#    
# 
###    
  
#
 


   
 
 !
#
! 
!



  ∃ %& 
#  ∀/
! #

 ∗

 #     #   ! 
#
#
        #
#      
∀



 # # 
 

#



  
  
#    
%
! ! 
   
∃+  ∃
∃ # 

# # 

 
 
 ∗
!

   (+∃ ∀( 
∀
(

    ∀  #  &      
    
∀
#
 

     
    #    
    # 


 &


#
 
    ∀

#  
 
 ∃ 
∀∀#
     ∀ 



#  
 


 
    
  
 

 
& &  
! !  

     
   
!∀(

∀(∀+     
#
+  

+
   # 
 

   
#∃ 
∃ 
  
!  ∃   
∀





 

%#
  
 
 #  # 
∀&      &   


#
  !

     
 
    
   
   




 
  +# 


 
 ∀(
∀(#  





   
!   
 
 
 

 ∀(
∃ 
  
  
 
  &  &
  #

∗  
!
#
#
#
∀

)  
 
 
!

  



#

   
  
∀    ∃ 
 & 
  ∀#      
  (( 


&  
 
 
 

 
   !   

 


 
  )

     # 
 
# 
   
#+
   

! &  
 


  

∗ 

  

  # 
 
 
 
 #
  
 
#

 
 # 
#
   
 ! #  


  
 
 ! #  
  
     
 ∋ 
 

  
  


&&  &#  # 
 
  #      ∀ 
   
 

 !   


 

     

∀ 
∀
#
      ∀/∀∀ 

!

       
 

    . 

    # !       


    
 

&








 


 
     
!  ! 
  # 
  & &



 

# 
  
!∀
       
 

 
    
    
  !
    
   


    # #      

#    
     #



     
  
  
 
 
#
 

    
#
#
#   

 
  &
   ∀
& & 

+ ∗
#  


∀(∀##

  
  
 
 
#
,(&    # ∀
 ∀∀  
 
  
#  
 
 
      

 
##

 

 



  ∀
#

 
   #  %#  #   #
#
 


 

∃ # 
 

  

      
 
    
%!
) 
+  # 

 !


#
    # 




   



 

  ∀(

    


    
  (  

 #
 
#   
#
  
   
  # 
 


.
 
 # 
!  &
  ∀/#
 

 
 ,(
   !#! 

   

#

#   # 
 !  ( #
 

  
#   #
∗
∗    
 
  ∋
    
 &    
  

  
   


       

  
!/
/∀
#

 
, ,(#,(  
 





(( #   

# 
  !      
 ∋
# ∀(

 
 




   !  

    
    &
   


. 
.   !   
#   
&
/

  ,(     #


 ! 


 

   
    ∀


∀    
 
 
 


#! #  !  
 +((#  

#  

#
 


 
  
 


 

  
   
 

   

   

&&&&
 
   
#      

 


 
 ∀ ∀(




#   # #  



  ∀#
     
 # 
!
  
 
   




!
  


#   
       



 
∀( & 
  ∀
 
 


# ∀   


 
  
 
 
    
 

 


  
 
 
 
#
!   

 
  
  
!    


! 
  


     / 
    
)
!      

#
  
  
 
 
 
  

  

 
 ((   
# 


!
   

! 

! )

#!(∀   #

      
             
  


∋
#∋
#



 
    


 
  !(  




      
  ! +# +
+
 


 


    

 ∀(  
+∃+



 
 
 +
∀ (+      
 ∗ 
    
    
 
!  
    
 


%  





 
  
 
 

 
  ##(( 
   
  (  

 
,+,((+ 
       
  !  !    

. . 
#

 
  

# 

  # ##∀
 !

 



  # 
 ∃ 
# ∃ ! 

  
 
  #  
 # 
 
∗



,(#  ∃  

 
  
       

  

#  
  
 
 

  
      
      ) 
  
  
   %
  
    
  & 
    
 !
 
   
        
     ! #
    ∃
  
 


∃((#
  ((    
#
  
#
   ∀(∀(



    
%
% 


 


#
#   
 
 
 #
  

 
!   

∋
#∋# 
  !
   !#
   
    
   
∀
 #
∗ 

      






∀//
 !
  
(+
!
   
    
#

# −
∀−

 
 # 

       
 !   #



#     
 #  ##  # #

    
    
 #     
  
! # #
 
   ,( 

    


 
 


!
!   
   

 
 

 


 


      # #


  
 
∀∀ ∀(
 
!    
∀

∀−

#
# 
 
  #!
&
#) 

 
#  # 

& #
#   
#

#
 #
 
 ∋ 
  


     
   &   
  #

#
         
 #  

# 
# 
  #
 & 

 ∀(  
    #
  
 
      
#   


 
  &    
##  #   



   !
!

#
∗
 

  
 
 
 
 

 


 #

  
 ∗

!
. . 
      !
∀−       ##

 
   
 
#


!
 
 
            
 
#




 # 



 
!
!


    
      



  ∀−  .

 

    
  !!  

    #  
,

!
 

    

 

   

     ∃    #
 

&!
 
 & & 
 

  ∋ 
     
. 
 
 
  
 
 # 

 ! 
   

    
 

((,


  
  
 

 
) !)  


     
 

 #
# !


 ! 
# 
   


 
#
 
  
 
  

 
 
     


  

  #
    

  
 

#  #

∗ 
     
  ! 
!
 
 #
 
  
   
!∃
   !

 
   

  

#

#
#     (
 !


  
 
   
#
∀#
   

         

#

# #    
      
 

& 
∀ 
#
 

∀
#

!( !   

  

 ##     



   & 
!

 ! 


    

∀+
∀ 

  


   

 ∃
  
   !

 
  # 




# 
 
!
!


    
    
 
 
+#   

 
 
     
!

#
 
)∀
 #

!
!         
 
   
 
 
  ∀     
 






#
∋!  
  
∗∗
       !
! !

#
  # 
    

 
 
#  # 
      

    ∃   ∃      ! 


   !


#

∗
  ∀   
#



       
  
    #
#
#  
 


#  #  


   
 



 
 #  

      

   


  
 #

 
  
 ∋#!   
 


#

  


 


 
     &       !

 
  
  
  
    
 

 
 
  


 
  
  

& 

!

&
  
!    
  ! 
#

∃
∃
  ∀
 
 ∀ 
   
 
   (+ ∀ 
 
 

 ∀!       !

  
     .    

 ! &
  
  
  
  
,(#
#   




!∃


   &  &  

 





 


  
 



 
!


   
      #  

 
  #


   

       %
  # 
∗

     
         #

!!!

  
# 
#     # 
   ∋
       
  
 

 
.  ..  

  
 ,(+,(    
 
 ((# #∀ 
 ∀
#∀ 
 
   

  


!   





 ∀  ∀ 
 !
 #  
 

 
,(## 





 
# # 
 #
 
# 
       
 


    

#   
∋


 


#
 
  ∀ ∀
∀ 
 #      !
      
 
 

   
#




  ∀ 



!

 ∀  
  ! 
 
 
   ∃∃!
#∋

# 

 

 #∀+
∀  ∃(   
#


 #  
  
   
# #
 # &
 && 

    #
     #

#! 


 #

 #     
#


   


& &  
    
∀  
   
 



   

 
  ∀
 #!


        #      
 #   
  
      ∃ ∃ 


 (+ 
   ! !
    
 

 



 

   
  
 .  
 
 
 #  
!
    

# 
  ##
#

        ∀
∀ !  


∀

You might also like