I'm severely missing any explanation of the semantics and logic of these, particularly k2.