Roberts proofs