Edited K's text with a few clarifications