Proofs and the spherical stuff.