GoProof add attachment2

GoProof add attachment2