P
Initializing...
The inverse move: the single field q (at position |A| + |Mf|) in front of Mf · Prove2Me