New post in Proof-verification