Kconsistency (Explicit)

Bonus 2 (Explicit)