User manual
∃()
9())−,
.,−/)−)∗&)
)/),/,&−(
)( ) (∗ ) /( )
((∀
) )
)?
(,)Γ,:&;Π
(,))/,(,Π
(/)()∗(,,−Π
/)() , − &) ,#) /,
)()−
∗
),().))∗(
,,−−Ι)∗Ι4))&−
4 ) , ) , ) , )
(
,
Φ,,.))()/
),): &;)
),:Φ;,
) Φ∃7 −)∗ &∗ ),−. )/)−
()4)):;),): &
&;):ϑ;)),:Φ;
)Φ∃7)((,):ϑ;
(