Miscellaneous proofs levels 4-6 - jamesmcgrew