working on some proofs.