The introduction (Explicit)

Rule (Explicit)