Worked on proof step between insertion multiple proofs