use self.proofList since unable to get simple arrays to work