Add a proof snippet