These are proofs that can be further edited. Just let me know.