Created a header file for proof instances