The Introduction (Explicit)

The Proposition (Explicit)