P
Initializing...
Children of an allowed pattern on a valid state are valid states. · Prove2Me