P
Initializing...
Pattern Rule 1: adding a first-row box to a one-row tableau · Prove2Me