Comment Comment by bawolff Umm. All proofs are in NP, not sure how that is relavent. parent bawolff 4 years ago