Add some 1-d proofs.