P
Initializing...
Φ⁻¹, pointwise: entry 2k + c is read back from the Φ-address of k · Prove2Me