P
Initializing...
Two kinds of things: one sort with p, q vs two sorts · Prove2Me