Kconsistency (Explicit)

Bonus 1 (Explicit)