Some more proofs done.