P
Initializing...
Left translation by `(b b')`, which fixes `a`, identifies the two-slot · Prove2Me