P
Initializing...
Boolean-to-symbol encoding distributes over conjunction · Prove2Me