K$2 (Explicit)

PLR 22 (Explicit)