P
Initializing...
`ψ - ψ_β ≤ 8β` · Prove2Me