sketched some proofs