fixed ISE, bad definition of proofList