! ∀     # ∀∃∃% & ∗+∃∃% ,     ∗+∃∃% &  ∀∃∃%    −          ∋ ()  /    +      & ∃   :          )        ∀∃∃% ,  + 6;6 %     0     )        :  )∗  ,        ! /                                                !  #  −      &   ∀ &