Began work on more proofs