L 1 (Explicit)

L1(Intro) (Explicit)