added proofs for logic lab 1
added molbio test file