∃      %                               !       ∀ #             %             &     ∋       # ∋            ∃      ∀  (          ) ∗    ∀     ∗ + ,−!!   / &          &           1        1  #       #   342      544                               6  + ,−!!           4 6      6 (    #    ###   ,  ,  8    & ,  443      ∃ ) / 4 %  9 #     & 9     ∋  #             #  # + ∀  (          ∗ 9 # ∀    9   &    #           1 9 #   #  9      9 #     544  #   342   #                 #        6 9     6 9 #    #     ###   ,  ,  8    & ,  443