P
Initializing...
The intermediate tableau encoding is injective · Prove2Me