Add file of proof