P
Initializing...
Block matrix machinery: the conjugation P and the embedding 1 (+) A · Prove2Me