Add VerifiedGC.pdf figure