P
Initializing...
The principal upper set of an atom is a quasipoint · Prove2Me