P
Initializing...
ĥ · Cᵢ = (Σ_b J_{bi} Γ̄_b) · J · Prove2Me