Spine title: Robertson's historical proofs on the