various proofs