New: proofog