pytableaux 2.3.3
Argument
C
Logic
Symbols
Predicates
E! Existence
= Identity