P
Initializing...
Theorem 3.6: cognitive closure is the least deductive superset · Prove2Me