Remove 'obvious' parts

Add longest descriptions and explanaitions to the proofs