Pepperjam Verification