Views 109 Downloads 3 File size 30MB
! ∀
#
! ∃
#
# ∀!! ∀ !
#
∃ % % & &
#
! ∋ (
#
& ) ∗ # (( + , − !