Lesson 2 — Alloy primitives and signing