User manual
#
∋1∗∗1∃1
∗.:∃∗:∃
#∃ + :∃ ∗
∃ ∃ ∃∃ ∗
#
)∗
∗∗1∀∗∃∗Χ
∗::
∋∃1+∃
∃1; +∗;∗
∗∃1?
∗# + +∃:1 ∗
∗∃;
∗ # ∗ +
;
∗# # ∗
;
∗ 1 ∃∃
#∃
%
, ∃; ∃ +∃∃ ∗∃
1∃∃ ∗ ∗
+∗ ∃1 ∃;
+∃∃1∗+#
4−