----------------------------------------
# 
0 
....main....
[ext] H  P. Q. ((P  Q)  P)  P

BY autoT
# 1. [ext] H; P: Univ; Q: Univ; v: (P  Q)  P  P

++++++++++
- : unit = ()
# 