proofrog_ogp