! ∀   !        ∀  #         ∀        #  ∃ % %& ∋       ∀  (              ∀#           )         ∗          ∗             )  ! ++   ,!          )∀     ∀                             )∀          # − ∀∀ ∗ −    ∀ ∀    ∀  (  /   ∀   &          ∗    ∋      #        0      ∀   ∗  ∀        ∀ ∀   )    #  ∋                   ∀    ∀    )   #       #           ∗ ∋  21,3 ∋  #               0    #  % (  ∋(&∋  10 &   ∀ 5 ∋     6          0∃7∋ ∋∋ 4  #  /   ∀   ∗    #       ∗ 6      ∀         #