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