Lesson 2 — Light clients — the gold-standard verification primitive