You are on page 1of 42




   



   



 

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



!∀!   

            !  #   ! 

    
   (  !  


  
          
       
 !  )#   
 %%%&&∋∀  #        
       
 

!      !              
 !
%%%&&∋ ∀  !   !        ∀    ∀
!    !        #    
 
   
     

      
   !       

  
∀  
   
   
!              
  %%%&&∋∀  
! ∀  
    
 
 

    !
 #∀  
     
                         

    !∀# ∀  
  
 
! 

∃ !) (  %%%&&∋  #

   ) ∀   


(   !               
    # ∀      !       

   
  ∀  ∀
               ∃   
           (           

   !           !

            ∃%%%&&
∋            !             


   
  
    


  %%%&&∋ 
 
! #
%%%&&∋∀∗ ∀
 
  
 
      
      
                
 
 
 #∀  #∀ 
)  ∀  !%%%&&∋        
 !    
   ∀
 #∀       

 !     #       



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

           !  
  #    

 

    
∀ 

   
 
  
 %%%&&∋  )  
  

           


         
 

∀
)   
   ∀      ∀   %%%&&∋     
∀         !        
 
    



#  !   ! ∀
     
  
 
     )
  
∀     
 
 %%%&&∋      ∃     
 ∀       )   
 ∀  
 ∀ 
  
 %%%&&∋  
    
   !      #∀      (  #  #   
   
∀            )        !


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

  
     
     
            !

 
!  
 ) ∀   
  ∃ 
  
  !     %%%&&∋  


!       (   
 !    
       

      ∃   ∀
   !        %%%&&∋


 
!!    
 

  


 !   
   ∀
 

      


 !         # 
 
) %%%&&∋  )             
      
∀

!      
#           ∀    
  %%%&&∋ 
           !    

              




         !%%%&&∋


     
   
 
#     ( 
  
  
 
! 
 
 ∀  !  
 

   !   )       ! ! 


 


%%%&&∋     
     
       
   

)     !          


     
   

  ∀         


  !   #    

  
!  # ∀ 
 !            

    !
!  
!   
 

 !∀  

%%%&&∋ 
 !   # !!   

 )  ∀∃ 


    
 
 # ! !
 ∀ 
!
  

 # %%%&&∋  ∗ 
  ((   
    
 ! 
      
 !            
  ∀
) ∀ !
 

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


)  

    !    
    
     

 
     
  
!∀  
  !   !   #
! 

     
     ∀     
  !     

     


      
!  
     
 
 %%%&&∋  #
  
  ∀           
   
∀      ∀      
 
  
!       
         )    #   
 #  !      
         

   ∃
     
!%%%&&∋    
   
   
∀   
 
            !       !  
!  ∀ 
   
 
     ! 


 
             
 (     
)       ! 

  

 ∀     
  ∃

 %%%&&∋∗ ! !   
   
  
 
 

    


 # 
∃  
  


 ! 

%%%&&∋ 
 
#      

       
!      !%%%&&
∋  
∀  !
∀       
   
  
 )    !               ∀  
     
 #
                 #  #   !  

   


 
! # 

    
      
 %%%&&∋  !   
)  #∀
#      
   %%%&&∋   
       !! 

  !  )       ∀  ∀ ∀


 !  


   
   ∃ 
   
   
!%%%&&∋  
  ! 

     
 
      
#∀  #  !  #   

     !          
 ! 
 %%%&&∋

∀   ((   #   #     


  !!     

    
  
 

         !∀ 

%%%&&
∋# 
       #      #  ∀     ∀
   !    #  ! 
    !       

  # ∀  ∗∀
  ! 
         
   

      
 
    !        
    
              #  ! 
  
!  !  
 
!
     
   !  ! 
  
   !    

   ∀  
      (  
    !  
 (  ∃
    ∀)    %%%&&
∋    !       !       ∀  
  ∃∀
   !#  
 (  
  ∀

 
     (  !          
   
!   ∀)      #   ∀  #       %%%&&
∋! !    ∀ 
  !
 
      
 ! 
 !       #     #   
        

 !  
    
       
  
   
 ! 

       
 (     !    !  )   

    




 )     ∀
) 
  ∀  )   
     
%%%&&∋
  
  !  
  (   
    !              
  ∃
   
!
!  
       !     

   !  


   ∃  
    ! 
  

!  
           )    %%%&&∋   ∀  


#
!  )     
   
    ∀∀
  ) ! 

  

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

! %%%&&∋ ∀  !              # ∀  

!   ∀ ) 

!  ∀
  
 (    ∗   ∀  
    !      
     #            # ∀         

   ∀   
   
    
         
 ∀
  %%%&&∋ 

   
∀
#   

 !


 

# 

          #   !   !       

        


             
 # 
 
 
  ∀



  ∀       
 ∀         !     #∀
   
      
#       %%%&&∋  
##   !         # ∀       
            

 
 !
 
 
  !!        
 
         

     !
   !  
         !  
  
∀  
               ((    
  


!
!%%%&&∋    !  
   
)   ∀  !     
 
!            #!   #     ∃     ! 
  
#   
     
#   

∀ #

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

    ∀
    #    

    

                 ! 
#    
       !      !        


   
     ! !
      !   
    ∀ 

#! # 
#      #      
       ( 
    
∀  
         #∀        ∀%%%&&

   !       !  
         ∀ 
#∀                               

∀  
#  
   
 !  ∀
   ∀  ∀ 
      
  !     

  ! %%%&&∋#  (  ∀
 
   

!      


! ∀
∀   ∀# 
  ∀
 

∗   


  
! 

%%%&&∋
∀
   (  
 
 !  #!  
 #  
 ∀ 
   
   )   
    ∀ 
) ∀   ! 

  
    #∀      ∀  ! ∀  
 
       ) %%%&&∋ 
   
 
    ∀ 
 !
  !     ∀  (    
    
   #  !      !            

    
    
 
!   

   ∃




(   
∀  
  #  
   #  !     

∀   
   )   ) %%%&&∋  
        
  ! 
     

 

 ∀  
  !   
 

   ∀ 
 ) 
   
  ∃      
 
  #   #
!  
!  ∀  
 


   
      ∀    %%%&&∋      
  !


∀  ∃
        
   !    

 
  

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


  
! 
#
!%%%&&∋  
 
! 
∀   !   
 %%%&&∋ 

!       

        !      ∗ 

 ∃
  %%%&&∋

!
   
  
%%%&&∋    !  !  !  ∀∀
       (                 

  
             
      
 
   ((    ∃
∀           !    

      #∀      


   
   #∀

 %%%&&∋                


       %%%&&∋            


   
! 
    !     
     # ∀
      ∀          !    

              


!        
        #∀  #   ( 
   
 

∀
 
 
∀       
       
    
   (  !    
  
 #    !         

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

    
    
    ! %%%&&∋
           
              
 !∀ 
)          !
          
 
 #  #∀%%%&&∋  
   !            

  )) ! 


 )  !   

  !   
! 
  
∗
 ∀
  
   
∀ 
 ∀  #       
              
   %%%&&∋     

 !        ) 
 (  #   ! 

    
   
    #   ! 


 !   )#         

   
      ( 
              

(%%%&&∋        
     
     ) 
 
    !  ∀   
      #   (
# ∀        ∀%%%&&∋     

 !



 
  ∃    

 

       
  
 
   
  ∀   
      
     #  
∀ 
 
     !
  
# !     !   ( 
!
   (    !      
     
  %%%&&∋∀       ∀  ∀ 
 


# 
  
   (
!

   
           !   ! 
  
     
   ∀   
   !    %%%&&
∋     
          
       (
  %%%&&∋   
   #      !  
  
        
     
  
      


   
     ! 
 

(  !  
      
   
!    #   !    
   
   ∀ 
               !   
     

 
!  ! 
  %%%&&∋ ∀

     )   )   )    ∗    !  
!  ∗! 
 


 !

         %%%&&∋   
 
     
      #        !        
!            !   %%%&&∋  
#   !      #      )    

 (     ∀   !            #
   ∃
   
    %%%&&∋     

 !      !      
        
   ∃
 ∀   


∀   ∀
  
         ∀   
   !          !    %%%&&∋   
!
  (  
  

 !   !   !
∀   ! 
 
      !   %%%&&∋)   )    


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

     
   #
  ∀   %%%&&∋     
             
            
 
    !       
∀         

 !  !     
 )    
  !) (
 ∀  
   !     
∀  !   
  
  ∃!   ∀  

!   
 
    
    
       (  

 )      
  !      
  %%%&&∋  
  !   
 
#   
   !   

                       ∀
  

 %%%&&∋ 
  !
               
 
   ∃       #           
!     (        
    
#  
     
  !           

 %%%&&∋       


       
     
            !    
   
 
   
 !         
    
   
    !         

           


 !          ∃          ∀      # 
 
   ∀
 ∀ 

     ∀


    %%%&&∋  


          ∀  
        
 ∀   


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


       
 ∀  !       ∀  
 
! ! ((     ! !
  (         
      !%%%&&
∋ 
) ! 
 

#!  


 
 
!       ∀  ! 

  ∃   #  ! !
          
∃

  !     !  


   
 
     
∀     !  !     
     
     ∀  !   !   ∀  
    
   
  
   ∀      


 !∀
     #        %%%&&∋    !!
   
      
       
       #
!         

   
    ∀%%%&&∋   ∀
   

   
 ((  

    


  !   
      
   


 
     ∀     ∀    ## 
! ∀    # !∀ 
   
    
  
      
  ! ∀  !       ∀  !  %%%&&
∋  

          !      
#
  !!∀ 
 !              ∀   

 ∀        ∀       !∀         ∀ 
    
      ∀     !  
  
  
  ! !

    


 ∀∀
  

  # ∀
!∀ !! 

  
  #   

  
  
        ∀
    

      !         


∀  

 !    %%%&&∋
  
  #       
∃
)     # 

 
    ((    
            !  
  # ∀     


! ∀   %%%&&∋ 

 


 (

  


  !               # 
 

# # !  
∀                    
  
   

 
   
       
   
  


   ! 


    !
 

      
! !!
   # !∀ 

 !%%%&&∋
     
    ! ∀    ∀

        ∀    #        (  
    
!   


 

   

        ∀   
    
  
 ∀
!

     !              
 
       !  
 !∀   ∀∀        
 
  
 ((     
   
   
  

      (  
             
       

  
!        #               

 ∃    !∀    

   
%%%&&∋   !    

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

  !       ∀  
       

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

    
       

       !  
 %%%&&∋ 

   ∀       
         
        ∀   ∀             (( 


     
  ∀         
   ∀   

  ∀
 !  %%%&&∋
  !∀

 
 ∀       
 

 
   
  ∀
!


∀## 
    (       ∀
         ∀
!  !#∀     
   
      ∀
∀#! #!!∀


 
 ∀%%%&&∋     )          #      
!   ∀  #      ∀  
      
    #       
      )   )   
#           
%%%&&∋  ∀     
!
  
  
        !      

 
  
 
 !     ∀
 

∀     ∀ %%%&&∋  
!       
  !  

        
 
   !         ∀      
 
   
∀                   
!
             #%%%&&∋  !   ∀

 

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

 
  ∀  (  


      ∀   !       !∀  

 !     ∀     
! 
       

       
 !
%%%&&∋    
    ∀       
#                
   
     
%%%&&
∋   #               
 
  


            !           
   ! 
  
  #  ∀ 
    
 
      # 
      
 !  

  (  
 
!       !     !   
    
! 
      !
!             
     #∀  !∀             
 
   ∀ 
      !    ∀  

   ∀  #   #           !       
!           ∀    %%%&&∋
  !
 

       
  !    !  

!∀ 
    
  ∀


 !                
  ∀
 %%%&&∋ ∀ !     (  
 
     #      
         #  


 !     !  

 
  ∃  ∀           %%%&&∋ 

       (  !  
      
   !     

    !   #      
    !          
        
 !     
       
       

                    
   ∀
     %%%&&∋       ∀     
  ∀   

 
(  ∀
 
 

    
   #∀      ∀  

    ∀  
!
        #            !∀     


   #      ∀      #     
 )   
∀ ∀ 

!∀   
!          #          %%%&&∋ ∀   
∀ #  !# 
    ∀            ∀   
 

   ∀
! 
   
 ! 
        

 !   #     
    
(  
       ∀  
      !   ∀   ∃
∀       
 
          
  
 
   
 # 


     ∀ ∀!   
∀

 ∃    
 ∀   %%%&&∋##     
  #  
      
   ∃  ∀   
       
  

  !   


          ! 
  
   

#
 # #   
  ∃
!     
     
   ∀      !
   
        ) ∀  #    ∃%%%&&∋!  ) ∀  

     ∀       ∃           
%%%&&∋  ∀∀ ∃ ∀   
  

            
  ! 
   ∀

   (  #    ∗ ∀ ∀   #  


      
 
  (  )             
#
   !  
   #      ∀             
!) (   
  #   ∀
    ∀      
    
    ∃   %%%&&∋ 
  !    

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

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

    

  
   #   
 
             
   ∃∀    ∀ 
   
  ∀ 
      #          ∀ 
   #∀   
 ! 
  (      

(   ∀      ∀ 
           

#∀

 
 ∀%%%&&∋
∀
    
!
 
! ∀# 
 ∀

 ( 
   
   
           #!   

            


 ∀  #   # 

 
 ∗ 
  (
  %%%&&∋
  !        ∀          ∀  
!∀
    
  
   #        ∗  
 
!       !          
      
∗∀   #         %%%&&∋       
  
  
  
  ∀      
   
#  
 
  ##

  


∀    


 !
 
 ∀    #    ∀   ∀  
      


           #!  

     !    
 %%%&&∋   
       
 
  #   
∀! ∀

 



 ∃ #  

       


  !   

    
   

    
 !  
!
 ∀
  )    ∀     !  
             
 
 
  !∀  ! 


      ∀           
     ∀   ∀ 
   
       ∀   #  # %%%&&∋
  !∀
 ∀
 

  
(! (

    %%%&&∋    

  #   (∀       


  )   (   (   
!
#  ) 
 
  ##
# 
  !#∗     


       ∀ 
    !%%%&&∋   


∀  
     !             #  ! 
 
  
∀∀
   




 
   
              ∀  

 
  #             ∀ 


∀        
 
  
       ∃∀    
   

 #  ∀  
  
         
     #
            !   
   # 
   

         ∃ 
   !   

      ( 
!                  !    
 #
!
 # ∗
!   
    

 
  ! !     

 
%%%&&∋  ∀
  
 
 #  !  

∀  
 !     

   
    !       ∀

        

  #           
   ∃

   #  


 
  ! 


 
    !     (          
#  
 ∀ ∀ #!   ∃
   !!
 !

 ((

   

) 
 (#       
  !     ∀ 

 %%%&&∋
 !     
 
 !

 ∀


 # 
 

++∋∋

               ∀    


     
  ∀  
∀  ,
                
  ∗   −
       #  
  
   
   
 
  ,
    
 
 

−
∀    !   !       ((     
   ,  #   
          
   
 


 
−

 ! 

 
  !∀∀!  
 , 
!
! 
   
 
!!
)  
−
       (     
   !∀   
       

) ,#  


 !     ∀  
  
 −
   !
 
  

 !  #     
 #     
 ,
) 
 
!  


 !

 # −
 !  !
   

     ,
  
            !(      
 (      
−   ((   ∀         
   
 ∀    !   
    (    ,
   
 !   

 
 −
  
               ∃  ! 
    #    , ∀  

        
 
 
 
  −
        
             !  
 
  , )              
     
 # −

   
 ! 


  ,         !      


  !  (−
   ∀
   !
  ∀  
! ,
  ! #
!     

 !

∀−
 
 
   

   
  ,        #∀          



  ! #−
 
        ∃ 
 
 ,) )  !    


  −
#              
          ∀  
  
    , !     

   !         !
   −
    !              ! 

, 
 ∀  !
 !) !
 #  −
  
   !        !          
,    (!(    ∗∗
 ! −
       
             
 

   !  ,!  ∀ 
)    (        
! ∀
  −
 ∀     !  #  ∀
 # 
  ,
   #                 
   −

       # ∀    !  ! 
    
 

 
,  
  
            ∀    
−
       
    ∀     ! 
      
   , ∗ 

 
 (
!


!−
 #∀ 
!   
    
          ,!       
  #

 !
∀ ∀ 

  −
 

                 
    
    ,
 


      !∃ 
−
∀  

 
    
     
  ∗ 

     ,
                   


  −   !  

 
  ,  

   

       ∀− !!  
!  #  !   ) (  
        , 

 ∀    !      (  !      ∗ ∀    


 

− !
  
 

     
  !  ∀,∀   ∀∀
(    −   ∀
 ) 
!

 
,



 !   
       !    ∀  

   
 −
        
  !          
 ∀∀,  !  ∀   
    −  ∀!   
 

!
     
   #   ,  
  
  

∀   

                  


  −  
  
   
    (     
   !  
    
,
    − 
 !  ∀     (     
   − 
     ∀  ! ∀       
    
 #! # 
 ,  
 ) )  
  
    

∀      −         


!!                   ∀     ,
 
  ∀    )    ! −
#  ! #
 ! ! 
   ,  
 
    !      
       
    ∀  
−  ∃  ∀  
          
 ∀∀
 !  ∀,!   
    − ∀  

             
   !    ,

        


      
          
 ∀−    
    
 !         #  ∀ 
     ,   #  #!      
       
    ∃      −  
∀      
∃
∀ 
# # ∀  , 
          
   #     −

    
     
  !
  

#   ,
∀

      


  −

   


   

  ∀   
       ,
)     
      
! 

    ∀

− # 
           !   
          
,                 
        
    −   ∀            
  )      
 !   ,       
     ∃−    

    
 
,
  ∃
 ! 

 ∀   

 −
 
    
   !    ∀  
  
     
  
,#∀   (  !
  
 ∗
∀− 
(
  ( 
 
 !     ,
  
    
    
  


 
     
−! #! 
  


  !       


   ,
  ##   

    
               )
∀   − 
 

  ! 
 #     
  ,           !  
        


   ∀   
−  !     

    ∀


 !  
             !      ,     #
! 
                 −      


  ∀                
    
     , 
   #!   ∀   
      
  
 
   −
    
 
 
!           !   !     ,
    ∀    



 !# ∀!   −  ∀
 !  
      ( (∗ 
 , 
                   
)        


−!∀ 
 



 
 !  ,     
       !       
   
#− # ∀   
 !  ! 
 ,#   


   
      

 
   −  
 

   
∀


! #,
    
    
 
 

−∃    ! 
 !∀
∀, ∀      ∀ 
 
       −  ∀  
∀  #           



   ∀  # 
   
  ∀  ∃
  ,    ! 
   
          #     
   −  
 
 
 
    !∀  

          ! 
,
 ∀       !
!
 −#∀
  ( (

 ( 
 (
 (  ,          
         

       −  ∀ (  (  (
         
         !     ,

     
   ∀
  (  #   
           !−      
 
    
!  ,
  ∀  ∀    
    
      
   
   −    ∀∀∀    
   

    
 

    
! ,  !!∀   ! 
          

 −    
    ∀
         

     
 
 ,      
  ∀
        − 
      
  !  
        
 

 ,     ! 

 
( ∗−  
             (   ,    ! 
   !  
     ∗   !       ∀−  !     

       #   , 
     
    
     

    
  

−      #  


      !  .!         ∃

          ,
     
      
   
!! 
 !  
− !  #∀#!  
     ! ! , #  
       

      −   

      !        !    
  

  ,
             
)     
   
      −! 
 #  
  
  
  ∃     (       , 
∃     ∃∃  ! 
  #∀! −∃ ∀
∀                       ,

!      
      
   !
    ∀
−    
!  !

++∋∋

 #   


   #
!        
           

 ∀  
           ∃           

  #
   ! 
!        
    
 ∀          
 ∀     ! !∀
   
 
     #    
     #   

     


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

 ∀


 
  !  !
 !    
  
  
    !        
∀     !   ∀  
       
   
    
 ! 
  
 !    ∀       
 
   
 
    

  ∀  
 !       !     
 )        #  
#  

   
∀        
 
 
    

#          
   #   !         !
!      
 
          
 ∀    
# ∗      

   (   #        ∀             

      
 !

 ! 
 
     ∗ 


  

 
  

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

         #                   

    !      ! 
     !   


 

 ∀∀

    
#   

           ∀       



   ∀

  ∀ 
!
!      ! #    # ∀   
         
  !     

  ∀  
      
!  
∀  
 !    ∀∀
∀  
 ∃  !     


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


          
  #   

   
          #  
∀  
     ∀     
 ∀             !        ∀  
     



    
 ∀ !
 
  ∃ ∀
 (!
 
 
#  

 
   
!#   
     #     ∀  
!∀  
     

!    ! ! 


#   !   ∀
 
∀
  
     

     
      

 
!     !    

 

     
         

 #    
    ∀               ∀     





  # 

  ∃ 

 
!
  
 ∀ 

  #!    ∀  ∀#
  
    !(  (      

     ∀  
 ∀

++∋∋

  !
 
    !

∀            !  
∀
    ∃  !∗ #

 
 # #! 
 ! 

 ∀∃ 
    !! 
 ) ∗
∗#      
  
     
  

 
 
  
  
  
!              
         
∀  !        +&%&∋  
       
      
      
   !

  
      (        ∀  ∀
       

∀  ∃      !           

  ###     
 

  
!##    ∀
+&%&∋   
   
   

     

     (    ∀
        
  
   !  
∀           ∃     
  

     

    ∀        # 


  
        
  
    
       
!

 ∀∀+&&∋) 


 ! 

! !

  
 

  



     
    
 
    ∀     !   


!∀∃
 #  !
      
#  
    
 !  #

 
   ∀# 
 

# 
              
           +&%&∋
 !       
   
   ∀  ∀   


 

  
    !
 


          
  !        ∃   
 ( ∀ !  
  
      ∀  

∀  !  

 ∀  #      
      +&%&∋ ∀
      (  !     
         
!   #

  ( #   ! 



  ∀   ∀  

  
             
!     
     #   
    
     
 !
 
 
  
 (
 
        
      
 
   

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

  
  ∀! ! ! 
   (   (      ∀  
  !∀   ) ∀

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

 
   ! # 

 

+&%&∋  # (           
    
      

             
        
      !   
  #        
     ( 


 
  ∀ 
 !
   
    
    
        #∀
  +&%&∋  #  
∀  
          
 

 ∀       !∀# 
   (    ∀ 
 
     !      
         

! # # 
 
 
 


 
  !∀
 ∀ # ∀#
      !    
  
   
     

  !    ∀
     
    +&%&∋  
 
  


   !                
       
    !!
  
∀  !      
 )     ∀

!

 
 ! 

  
   
#
  
  
    !
 
   ∀∃ 
     #      
∀   
         

        #  !   

     (
 
  
  ∃


   
  !  
  ( 
 
        
(  #  +&%&∋  # 

        
              !   

   #     
         
       
  

 (        +&%&∋               


 
   (!# #  
(      
  !     ∀    #∀   !  
 
   
    +&%&∋
 

 
   ∀
 
!   
 


  
  
!    


 
        !              
  
  
    ((  +&%&∋    

 
 ! 
 ! 
  
# 
         
    !
     !     


  !  
   
     
 !   ! 
    
 
  !     ∀
     
     
  
   !       

 ∀  
 ∀+&%&∋
   
 !
       ∀  ∗  ∀     
   

     
    
             
!    
           !        
   

! 
  
 
!  
 
 


! +&%&∋∀    
 
  
      ∀   
! 
  

       
 ∀∀# 
 


 
   

         !   
   
    !

  
   !        
       
      
#
  !
  ∀        #!    #!           
  ∀
 (##



 
   
 
       #  
  +&%&∋   
   
!
 
    
     ((    
     
 
 ∀ 
  

∀    !



 ∀ !
    #
  
 

     # 
             
      
       (  
  0  
  
   
   
+&%&∋##∃!
 
    
     ! !        ∀  #     

 
 !  
           !  #  !   !

   (   

 ! 


   #   
   !! ∀   
         
 
∀   

∀              

#!  ∀∀#∃#   
  
      
       
       ∗    

 ∀  
   ! #(   
  ∀# !∀# 
   +&%&
∋            
      
        

       )          
       !
         
   

         ! ∀


    #
  !∀
 

!   !
    !#  
 ∀  
       ! !  # 
       


  ∀    
     +&%&∋     
  ∀   

 

     ! 

             !# 

    
   
  
 !   #       !  
             #
                          
  ∃


    
  !
   
  !#
 ∀    

!  
#   ! !##∀
∀  




      #  ∃         !    


   !   +&%&∋        
 
  
∀  !  
!  ∀  !
 ∀∀ 
 ∀

   
  !    
     
   
  
   

   !   
 
      #
∀    
∀
      ∀            
 ! +&%&∋ ! ## 
∀! 

 
∀     
!  
  # ∀   ∀  
 ! 
  #!!  +&%&∋ 
 !   ∀
!∀
 
     

 
# 
  ∀
   !   
    ( # ! 


  
 # ∀  

  ∀  

 !#∀ 
  #

  ∀  


∀) ∀ ∀
    !     !  +&%&∋ 
    ∃    

 !  ∃
  
 #            
!    
    
   !   
    !   

! 
  ! 
   

 ∀   
     
   )     
  ∀             
#   
  
           ∀
     

 

                   ∀  



      
           ∀      ∀
   
  +&%&∋  ∀ 
∃
       
           ∀  


 
  
! ∀  



  #   
 !   ∀           
     
   +&%&∋ !  
!                  
∀     # 
#    # 
  
 ∀
   ( 
 
#  

  ∀
!   
    (            
    
! 
   (  ∀ 
# ∀  #     
 

  +&%&∋ # #  


   !       


 !  
  ∀ 
  ∀  
  ∀
#      #  !       
    ! 
  
   ∀  
#  
 
∀!  
!+&%&∋
  
   
    ! ) ( 
  ∀  ∀            
        #∀
∀        
  ! 
      !       # 
  ∀           ∀    !      ( 

    (#  
 ( ! 
! 

  
 
 

  ! 
             # 
  ( ∀

  !+&%&∋
 


 
  ∀    


 # 

  
 # ∀∀
   !
  #∀∀     #      ∀         
∀
 #  
 

  ∀

  

   # !



!# 
        

   !  
∀    ( 

 !  
    ∀∀     
 !  
     ∀ 

  
 !            
  ∀      

  ∀! 
 ! +&%&∋  ! 

∀   
       !
            #
  !
 ∀ #  ∀

  
    

    #∀    


        !
  
  

∀
   #!
            #   +&%&∋                 
∀    ∀    ∀ 
  #   
        

                    
               

  
    

        ##   ∀  
        !     #
 
 

# 
 
      #  
  
   # 
   ∀
 

     #∀  
     !
 ∀
  ##
 !

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

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

    !
    ∀         
 

     !   +&%&∋   
      
       #  
       
   
  ∗!
 


 
   ! 

       #  
    #
          !∀       
  
    
∀
! ! !
  !  
 

∀
(
∀  ∀

  #∀ 



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

#

    
  
  # ( 
 (            !   !           ! 
     #         
  !    ∀    
       
    
    !  ∀      

  
    #  ) ∀         !       !
∀+&%&∋ 

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


        
  ∃       +&%&∋   

    
          )   
      #  ! 
     ∀ 
       !            

             # 
  ∀   #
  !   

+&%&∋
#∀  
   !    !    
              
 ∀  
  
(∀ ! 


                
      
   ! 
#        
     
     
   !

 +&%&∋
  
     
#   !
   
   
         
             #   !

     


           !  

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


  ∀     

 !  
   
    #   

!   +&%&∋       ∀  
      

       ! ∀
   
   
     

  
     
     
         #∀
  #  ∀    
 
    ! 
  


        


    +&%&∋  ∀            
      ∀  

 ∀     !      !
        
 
  !     
 
 ! !      

           


  ∀
       ((   #         
         
  !   
   !

∀
 
        
     ∀  ∀


 +&%&∋  
 #!# 
!         !     
        !
   !   # #∀!

          !          ∗ ∀    


 ! ∀       ! !   ∀ 
  
  !     #         
      


         
 ∀  (  
   
!  

   ∀




 ! ∀+&%&∋ ! ∀

1

   !


  !    
 
           
  
         
   


 


   


     
   ! 

  
     
  
  ∃    !∀   
#     #  # !   


    
  


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

    !     
           #           ∀  
#!  
  !  
     #    
   
   

   #  #  

# 1 #
#

 
# 

  
 
 
 !
     !           
 # 
  

    (#    ∀

   ∀  ∀      (   #


     

  
     
     ∀      (     

   
     ∀  

 !((!  ∀ !  ! 



  


  ∀


 ∀  (             
  !   ! 

    
    ∀      
     

  #
 ( (
   (        ∀    #     ∀  
  ∗∀ 1
   

     ∀      
          
      
      
   
    ! 
 

 

  # 

 
                         

!   
      !    
!  

   
    
              
   
 
        

 (
  
 
  ∀
    !
     
     !∀

      
  !   #     ∀    
   
#           (              

#
      
  #    !        
         !           ∃  
!
 !    
     ∀  1     !∀  



∀       ∀     #         
    #     ∀     
∀  )    

    ∀
  
 

      
 !           
 
  ∀
 
∀                 
   ∀   
  

!∀

  
!∀ !  !    
 

      #∀   


              
 
 ∀
  
# )     
     
∀  !∀      
!        
 
                         
!     
 ! ∀ 

 
∀
  ∀!      
  

!
!  #   )   !∀
∃  
 !!
∀

#   
 !
      ∃  #  
∃  ∀ 
          1  ∗     
   


  
∀       ∃    
    #     !
    ∀  
        !          

 (              ∀


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

 
   
    
  !         ∀     
 
  

  
 !   

 

   


∃  
 
   ∀  
          
   #   
  
    
  # ∀      

   

  (  
 

 #  ∀   
  #    ∀
    

) #  

   ! 


!
!                 

 ∀  

  
     

     (    )        


        
        ! 
       )    1    #   

  ∀              #  
!   
    ∗     
    
      

   ∃  !    ∀    ∀        
 
 
            
∀  
  
     

  ∀     
    
       
                
       

   
             
        


      ∀
         
  ∀   ∀
 
 ! 
 
  ( !   

   
     ( ∃   

     


              #   

                
        
 #∀        !     ∀  #         
  
   ∀  
       

  (  
  ∀    !
  
                  
       (  
  
∀       
   

  

∀ ##
 ∀ # #
 ∀∀ ∀  ( 

    ∀  #
!
      1   
   
       ! 
               ) ) ∃  !  
   # ∀    !     ∀          ∀     ( 
   ∀
    ∀
 

!  

  !  ∃   
   
  
!   ∀    
∀  
     (    !            ∀  

 
  ! ∀  !         
 !      
 
∀   
   
#  #   

      
          
  ( 
 
  
∀ !  
!∀# ∀
 
 !  ( # 
  
∀       
     
 #    (    ∀
!  
    ! 
 ∀ 

  !       
  !  )         
!    
 ∀
 
     
)    ∀

 


!
       
                !
  

   


    !
          
        ∃      
     
   #       !           
      (
         
    
   ∃  ∃
     !
    
  ∀   #∀
1 

 
 #   
 
 (∀
!   

  
      !  
       ∀     !  

      
    !         !    
   ∀  

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

 
        (   #      
          
     
   
  )   )        !  
# 
 
 ∀          1            
  
   
     
     0    
   
∀    ∃
! 

              
  
        
     !    !          
  ∃   
 ∀        
          

 
              !     #   
#     
      #  


∀   
     

        
          
          

  ∀

     
   ∀     ( ∀


∀
!!∀∀
      
      
    #  
 ∀
 

 
          

     
  


   ∃
  ∀  #   

  1   
    ∃
                       ! 
       
 
         #  !       (
  #   ∀   !
## ##  
 

 
    !
 
 !
   

∀     
                 

∀!∀#    ∃##  
 (            
          ! ∀  

  
                 ∀      ∃

   ∀    
  ∀           
∀       
  ∀   #∀    ∀

       
           ! ∀   
∀   #       
        ! ∀

         #    


   ∀      
    ∀  !   ∀

     
   !         1     

     ∀  

 !#       
 
  
                #  !   
   ∀        
     #     ∀   
 
  !    

   
         #    ∀
     
  #

  !! )   


 !         
 
       

       )      

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

!    
              
∀
 #∗ 
  
∀      
   
    
                  
 
       


 !   
( ( 
  
 
                    

     #  


 !     !     


         
∀              1    !  
          ∀ 

   ∀              
 
        #          
 !  
  

∀     
                ! 
    (     

        (  


   
            
!        
  
 (
 

  
   


 
  (   ∀

∃ 

               
  
   

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


  ∀   
  ∀  
∀     
   ∀
       
          
    
∀  
    (  
  1
 
        #  #     #  #   ∀
    ! 


 ( 
 
 
 
∀       (              
∀
 #  # (∀

  
  ∀  
       
   ∃  
 
  
∀    ∀ ∀

#!  

                


  
 ∀
        ∀    
    !   !  

 !  
    
       
   ) ∀  
        # 

     
  !  
   ∀  !  
  !       #       ! 

# 
                     
  # 
           !  #            

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

           
     
    
 
# )        
 ( 
 
∀  !  


   !      
    
      
           ∀      
)   
    ∀  1  
   ∀     
  
  ∀
  ((
 
  
∗
   #      !       
   
     ∀
!
     ∀       #    #   
   
   
#!
  #    
! 
           
    
   !   
    )    
 

∀
∀

∀  
∀ 
# ∀  

  ! !       


   
       
   
    
 
) 
     
  
   1        #  

!    ∀       ∃     
  
      
  !

    
  
         
   ∀     

   (

  ∃   !
     ∃     

∀    
          
     
   
     
      !  


∀
  !    


   #  #   !  ∀           
 !
  # 
 


 
 
  )   
∀
1∀
 # 
  # 
   #               
 
 !  
    !         
   
 
)  #
 


   
  !
!   !                      ∀
   

 
)  
     

∀

 
   
   
   
   
   
  ! 


    #    !    !       
 ∀   
    


 #
 
) 

1

 ∀     #   
     
      
   
 

  !! #!∀

!    
   
                
  
         ) 

            


 ∃   
 
 #
 
   
      ! 
  )    ∀  #     ∀  !   !      


 !∀ 

  #    



     
   (  
   !   

 !   


                     
  
 
         
   #∀           





  
    !
  # 
  
 !# 
 
 
#  
   

   
∀∀ !
 !

   ∀ 


 (  ∀!  

 ∀  
        !         
∀  

 
  ! !  #
 !  
    #∀  
  #  
            
               
   (  #  

            !         
     
  
   
   
   
!  
  
      #  (
  

   

 


  ∀    ∀    #            
        
  ∀   
 ∀      (       !    #  #   

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

!)   ∀ 
 
 
            
     
    

      
                  
     ∀#
 
 
 
  ∀  

 
∃  !


        
                    
!  
 (     
  ∀       
      
        
  
 


!∀#  
    ∀∀    
! ! 

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

 
 !        
        !     ∀
            
   ∗ 
 !   ∀ 
         ∀
 ∀         
    
  !∀       
#   
   #    
       #   
    

∃ ∀
  #!
#

  ∀


  
     
      
 

       ! 
 # 
 ∃    #∀
    ( ∗  
   

∀      ∃  #∀  
    #!        

     !     ∃ 
  
  !


 
  # 

 ∀
  


  #  !  (# 


                         ! 
  ∃
      
        
  
  
∀   
!   
         !# !

  # ∀ 

   
       
          
 

 #
    
   !∀       # ∀ 
  !       #

  
  

   !


     ∃      !     
      ∀      
!
      !     
#         
∀    ∀     
              !  

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


 #∀ 
 #  ∃ ∃!
 #
     
∀   
   !      ∀     
    
 

∀#∀

     
 #  ∃   
 !
# !  
 !  !  


 
 
  ∀  !  
  
  
  
          ∀      #

  
# 
 !
 !

∀  (      ( 

  )      
      
     
 

       !∀       
    ∃
   

!    

  ∀


 ) 

!     #∀         
           
  
! !

 ) 


 ! ∀  
          !
     ∀!
    
∀  
  ! 
 
          
   (   

 
                    ∀        

!        #             

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

  
# # #   #  ! 

  # 
 
#!
 


!
!   
#   
    #
         
    (   !       

 
 ∀  
#    
  
    !      ∀  
   ∃  
   
        !    
   ! 
  
#  
 #    ∀


0   !  ∀                  
  
 ∃  #     )   



                   
 )    !∀

 

∀               ∀  !  


∀  
     ∀   (                

   ! #          ∀           


∀     (  #          #       
#                

  ∀


             


   #∀        
  
   

                
   

    
    
       ∀         

        !             ∀  
  

 
    
 

      ! 
  
  !  ∀        # 
#
     

    
     
    !  !
  !     
   !∀         #   

∃ ∀
  ! 

 ! 
    ∗
∀  
∀       

 
 ∀ !  !  ## 

  
! 

∀ 
  
   
   
       
     
      !  
   
    !    
     
      (  ! 
    #   
  
 #   ∃  !

 !∀  !  # 
      

              


! ∀      !   
               

     
 !  # 

!        !  
   !  
       (

         !
  #  

  ∀  #      
! !


  ! 

 
 
∀  !
  


       !∀ 
    

   



 ! ∀ !     ∃
   
    

 


∀
!  
 #   
         

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

#    ∀  !
 
# 
∀   !∀  
             
    
  
   
  ∃

   

    !       
   ∀
#      
        (    
      
#         #        
 ! 

 
                 
    !∀       
#   )   
     

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

  ∀         !        (        

  #∀             #      #

 !# 

    
#
 # 

∀ !
   
   ∀
   #∀      !      

    !#∀   


  ∀ ! !    



 ! 
    !  


   0   
            ∀  
   
!     #  # # 

 ∃
# 
     ∗ 
∃ 
 
   !  
 #
    !

 ∀ 
 
    
  ∃
        
           #
    

  


 

    #      !     #  !       
∃ 
 
   
   
 !#  
   

(                
    #     ∃
!  
  

    ∀        ∀    .!
 
 
   
#
     !    ∀
        
#  ∀  ∃       ∀    ∃    !      
  
    ∀ 
  ∗    ∀    !
 ∃
     ! 
!
∗∀
     ∀  
         
    
 
#  
   !   ∀

   
#!#
   ∀

            
      ∀     # 

 
∀∀ #( 
 
#             
     
∀  
  #   
   !     

  # ∀     !   
     ∀∀     
 
           !    ∀
    
   ∃ 
∀  !     
 !     

     
   #  !    ∀


  
 #   
  

 
 ! ∀

∀ 

  !## 

       !    
   
        
! 
 
! ∀!  

#  
  !        #    #     ) 

   ∀    
        
∀  !    

       ∀   ∀   
  
∀     ∀
             !           
     
      
 ∀       ! 
  !  
   
!  
! ∀
 
   
∀ 
∃

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

 !  
              
# 
   
  
      
 ∀      #   
       
          
     (         

      
             !  

  
 
     
  (  
       ∀ ∀       
    (  
)               
   
   ∀


                ∀  

 ∀
 
    # ∀#  
 

       



   ∀

%%%%%%

       ∗ 


  ∗ ∗
             
   

   
!   !    !     #      
         

(       


                 ! 
!                   # 
#∀     
 
 ∀    
  
  #   
            
  

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

∀  
 

#    !        !    


   
   
 ! 
 
 
  ∗
   
  
  
 
 (  ∀ 
  
  

   (     (      !   
  ∀  
     


!
   # 
 
   
∀  ∀          
  
  ! 
 
      
!     ! 
   )   

! 
      

 

  
 
#  


∀!  ∀   #


                       ∀
     
              ∀

 ∗       
   
      !∀ 
∃      !   

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

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

    
  #      
  #    ∀ ∀    


 
  !  
∀               
  ∃
     #       !   

          


      #      #!  ∀
  ∀  

 
  
  
 
   #∀     
# ∀
!  

 
∗ 
      #∀       ∀  
       
 
     
∀                  
 ∀     !              !  
  
∀  
 #∀
∀  


 
 !∀# (%%% 
    


 !   ∀ (   !

  
      
      
  ! 
 !     


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

    

 
!
 
  
∀  
  


∀    ! 

 
   
   (     
∃
 
!   #  ∀     

  ! #       



!   ((       #!           

 
!       
  (  
              


 # 
 
  (   ∀
         #    #  ∃  
   
  
 



∀     
    
  #∀
              
   #  
 ! ∀  ∀  ∀  ∀
 
  
∀  #∀ %%%
             
    (      #   
∀∀! 
       ∗ !  
        ∀ 
  !     !     

  ∀    ∀
 
    
                 
   
     

     
 
               


       


        
   

! #%%%
( 

 !
    


 
         #       )             
    
     ∀         #  
 

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


            
         
   !
! ∗!   
 

          !     ∀    !        
 !    
        !   !    
∀   !   

#
    ∀ #! (
     #   
 # 
! 

∀
    
    
 
         !  
   


∀            

    !           

 
  
   

  
   #  #   )   !  

     ! !


 
  


∀
 
  ∃  

∀      
 


∀ #

    #! 
 !  #  

              !               
 ∀         #     
         

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


 ∃    #!  ! 

            ∀  


∀  ∀           
  
   
  ! !
       

∀ 

# 

        !       
    


   !               


  
 

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

∀   
          ∀ ∀  
      
! !  
     (    ! ∀       

 
 
 ((   ∀ ∀!!!!
               
 )           ∀ 
  #

 (
∀  
# 
    ∀    #     

    
   
     !# 
   
  !    
      !                    


    %%%        
            
         #       #     
                           

 
   
    
 ∀     
  
   
  ( 
       !          

   
        ∃          !   

        )            ∀ 
)   
   
     #   
             
#   
 #  


∀
 

 ∀   !



 

 #  

 ! 
  ∀#   !      

!
   ) ∀!  ∀  
  
       

!

   #   ((          

 ∀      #
 

                     
#  

∀ (                            

   # ∀                   
       ∀  

  #∀#
 


  %%%  
     
     
    ∀     
         
 

       
 

  
     !∀

               
       
     
           !          ∀  
      ∃ 
 ∀  ! 
  ∗ 
   !   ∀



    !      (   !∗∗          
    ) ∀ 
 ∀ 
!      
    
      
          


   
 ∀   
)        ∃     !   
   
 
   !               
       
  
   ∀# ) 
 
# ( 


  
  
 
∀
 !∀ 

%%%%%%

 !# 

 ∀   
  

  
 
   (!  #   

)   



    ∗!
  

     !
             ∀ 
 ∀   
  
!                
    

!
 !   

  

    ! 
  
  
   ∀ 

      !           

  #  
   !    
  #∀ 
     ∀ # 
  #∀
  
                   )         
         
          ∋  + 
 

  # 

    
## 
    
       (  ! 
     
  
    

!



 !
  

∀  
 ! 
∀! !!    
# !  ∀ 
 !
 !   
 

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

 !  


 

(    
   

       )   !
     ∃

         
    
!       
    

   ∃
     !
        !        # !  ∃  # 
   ∀
 ! 
   #
         !        

  !            #   !     
#  !  
  ! 
  !       ∀    ∃        



 ! #∀

 
!    ∀
!  ∋  +         ∀   
        ∀
 
  # #
 !    ∀

 (  
  
#             !    #      #!    ∀  
  
             
∀  
 ) ∀  
                ∀  ∀  ! 

   
  !       
        
  ∃ 
  #    
      ∀      !
   

        ∃      
      ∃   ∃
 ∀  !    )             
     
 ( 
 #  
  !
 #

       
         ∀     
 ∋+  #

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


  
  ∀
 

    


  ∃        
   ∃
      ∀       ∀   ∀
     #  #            #    (    
     ∃ 
 
   
∃
 

#    #  ∀∗

∀        !  ∃∀  #       


   #              #  ∃ 
 #  #∀ 
           

     !     


∀  

 ∀ ∀  ∃  ! 


    ∀
   
 
    

          
)         
#∀  
    #
         ∀       
 
           #   
  #    
)   

# 
  !

  
  
    #

  ∀  ∀∃
  !  
 
      
   
    
        (   
#!           # ∀             

           



         
!  
    !  
 ∀
               

# ∀∀
    
 
    ∋+  
   ∃
  
  !  
  

 (  #  
  
 !  
     
!  !   
        
   
  
 
   
      ∃∀  #       

        



   (     #∀    
   #    
  
 
  ∀  #

 !    !  #         

    


!     ∃ !  ∀ ∃
∃
#   
∃

           #        
     
  
!   
  
  !
!     
 !    !  

 
#         
    
  
    
  

∃ 
  # !
  
           ∀ 
               #!
!
 !  ∀   
   ##             
  
)  
) ∀)#     
         
  !   
         
#      #   
   
#  
 ! 
  
    #         #     ∀        
! #   #(#
  ∋  +  #      ∃  

∀  !   #   

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

   ∀ 
              
 
        
       ∀    
 
            ∀
              ∃  
 
   ∀   !     !     
   
    

 
  
 
∀ 

   !    !#

 
      

  
 (       
     
 
!  
 
)           (
 (
 
   # ∀ ((
  ∃
 ∀

(  
  ∃    

          
        
 !     
     ∀ 
   
    
    (   

     
  ! 
         !          (
  ( 

    

     
        !         !  
   #   ∀
 
! 
  



#       ∀  


∀     (          

 
      # !     
         
              
      #  


             
  

  #    
   (    ∀  )       
      
 
  ∀ 
  !∀
 
    
     (       
     
   #  !∀
          ∀ 
   !         

  
    
 !     #   
  
 
# # 
  



   !       
   
        

    


 !  ∀    
   #   ∀ 


 ! !∀

 # 
 ∀
∋  +        ∀  

              



!
 ∀∗     ( 
  

   

∀

  
 
  
 
    
 
!      ∀  
  
 #  
 
! 
      ! 
     ∀    
    !    


 ∀# 
  

    ∀                    

# 
 #!   !   
 
#  
       !        #
     
 ∀  ∃
     
     (  

 !
∋+    


  ∀
   ∀


 #∀
!    ∃     

! #  


 
  
   
  #   !     (  
 

        
   #∀  ∀  !      


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

  # ∀  (( 



         #    #   
    

    
      ! 
   (   (   #  
   
#  ∀ 
 
   
 
!  ∀
 ) 
  # # # 
    
    
    ∀  !     

!∀

 ∀
  
            ∀  
    ∀  
  

 

      )   #     ∀  


 
 !     
    #  
   
  #             !
     
      
    ∀
 !  
     
     # ∀
 ∋+      

  (! ∀   ∀  
  
! ∀
# 
 !  
 
     #  
                 
 ! ∀

    #     
         
 ∃    
  
#  
 !   ∀ 
 #   
 
#      
 #     
        
 )    
 ∀ 
 

   
 ∃ 
 # 
#   
# ! 
  

 #  ( 


   
∀    #     #∀       

∀
 
    !∀



   ∀     ∀      


      # ∀
            ∀   
      ∀ ∀  
   
    
 !          

    #    
∀    
        #  
     )    ∀    
 !

# ∀
   
 

   !      
#!  
    
 
     
 ∀    (       
            
 ∃   

∀# 

 ! ∀             #    
      ∋  +
#

 
  
        
)    ∃    
#          
           
           
  ∀ 


∀∀  
   !  (
  !
   #   
  
  

  ∀          
  ∃
  !      ) 

)    #∀      #          
 
 !  ∃   ∀ 

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

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



∀   
 
              
!  ∃ 
   !∀  #
        !
                

∀      #       ∗   
∀∃       ∀
   #)       
   ∀  ∀     
  
     ∃   ∀

  #    ∀ 
#∀ 
  !
   
∃#

 )   
!
 

 !
  
 #∀  ∀   ∀!
∀#! 
  
 
  ∀
 

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


∀   

 ∀

∀  
 
 ( 
 
   !  !
  !  
#∀              ∀          ∀
 ) 
∀
# 
 
 ∀
      #     
            #   
   ∀ 
     

     )           #   #     
   

   ∋  +  
  
 
  
 ∀ 
        

 
 ! 

# 
  #∀  




 ∀ 
#      

            #   
  
         

     )            

   #  #    



             #    
    !     
        !  
      ∀       
     
            
  
     
            


∀      #    !   #∀      #    #∀


         
      ∀     

   

∀    


+++∋∋∋

 !   !  


 
! ##
  !  
      

          ∀  #         ! #


( !!

   ! 

 ! 
 
  
  
   
  
          ( !  #   
 
    

!    ∀
       !        
 
   
  
 ∀     ∃ !

           

    
   
      
 !# 

 
 !  !

    !  
         !!       
     # 
      !
    ! 
   

   ! 
 !  !!
  
   
  !   
      

    !  !∗
∃                     
   


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

     ∃ 
∀   #!!( ! !   
  
 !  
 
 #

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

 
 



            

   

       

∀∀       ! 
 (           ∀   
  
 !  ∀
 #   # 

  ∃ 


#
  # 


         
   

            
  (        

                      
       !   !∀ 
    
      #

        
   ∀ 
      
 

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

 
 
∀ 
       
      

 ∀  # # # ! 
  !   !     !    !  
  
 

 !#∀    

 ! 
            !  
              
  
#!   
   

  !   !  
   
!        ∗            
  
      
    )    ! ∀


  
∀

!
 
#
!        ∀      #!  #           
   
! !  


  

    ! ! #  
  

  


! 
    !  
 
 # ∀
 # !  

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

        ∀       


  
   
 #∀  
       
#  ∀  

     
  

    
!             !
   
  ∀ 
#  #  
∀      
!
∀  


#
 
  (! 

 ∀
   
   
           #    
 ∀        
     ∀            

#  
              #  #  


∀ 
    !  ∀ 

∀
         ∀  ∗         #
    

 

 
    
         
 
     ! #
 # 

#  # ∃  ∀ !  
!
   !
  
 
  
  ! !

#       
!    ∗   ∀     ∀      
    
!  !    
    
   

!   
      !           !
  !       
    #!  
 !    ∃     

   
                  
 
 ∃ # 
   ∃# 
   
        
              ! 

!
   

  


   ∀#∀      
   
 !    
  
 
    
 
            !            
     
          
 #            

 ∀


  
 #
  ∀
 

 
    
!
 ∀
  
    
      
      
       
          !      
        
  

   #    
  !       
 ∀  

    (   
∀  

# ∀
∀    
 
#    )      #    )         
     
    ∀  ∀       #             

                 ∀          #

∀   !
!# 
 
 


!  
  ∀∀ 
    !
  ! 
 

      ∃ 

     



             !      
  ∃
        
        (   
 
    
 !# !!     !#  



     !    
 
  
    
   !      
 ∀  
 !
  
#   (
 

  
         ∀  
      #   
  !          ! 
   
        


   ∀         

#!          ∀       !  
   
 
           
     
  (∀
    #          
  
     
∀
            

       
  !  
  # 
        !                ∀     

  #  !                    
        !                     

  
              
   
 
 
  
     
∃
      

            #∀


  

  
 # 
!         ∀∀                
!     
 
     
     ∀          
          
 (      !        


 
      
 #