Add Proof Previews description