diff --git a/main.typ b/main.typ
index 837a8ae..a01b249 100644
--- a/main.typ
+++ b/main.typ
@@ -16,10 +16,11 @@
 #pagebreak()
 
 #chapter("src/frontmatter.typ")
+#chapter("src/sumcheck.typ")
+#chapter("src/pcp.typ")
 #chapter("src/ec.typ")
 #chapter("src/kzg.typ")
+#chapter("src/plonk.typ")
 #chapter("src/ipa.typ")
 #chapter("src/r1cs.typ")
 #chapter("src/mpc.typ")
-#chapter("src/sumcheck.typ")
-#chapter("src/pcp.typ")
diff --git a/src/pcp.typ b/src/pcp.typ
index c3de1b7..0596f6a 100644
--- a/src/pcp.typ
+++ b/src/pcp.typ
@@ -1,6 +1,14 @@
 #import "preamble.typ":*
 
-= A toy PCP protocol
+= The classical PCP protocol (optional)
+
+This entire chapter describes the first construction to PCP's.
+However, it's not used later on;
+so you can think of it as "really long example of sum-check application".
+But you can skip it in favor of the more modern protocols like zkSNARK's
+which are both better
+(according to metrics like message length or verifier complexity)
+and simpler (fewer moving parts).
 
 == Pitch: How to grade papers without reading them
 
diff --git a/src/plonk.typ b/src/plonk.typ
new file mode 100644
index 0000000..13e7ed1
--- /dev/null
+++ b/src/plonk.typ
@@ -0,0 +1,11 @@
+#import "preamble.typ":*
+
+= PLONK, a zkSNARK protocol
+
+Earlier, we commented that the classical PCP construction was both
+more complicated and less practical than modern protocols.
+This chapter is going to present one such construction.
+
+== What is a zkSNARK anyway?
+
+TODO