started proofs to see what they would look like; seems messy