CSPC_BallState_ProofOnly.pdf (2.1mb)