P
Initializing...
Each child of an allowed pattern has degree at most that of the parent state. · Prove2Me