----------------------------------------
# # 
1 0 
....main....
[ext] H; P: Univ; Q: Univ; v: (P  Q)  P  P

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

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