Theory of K-Loops - nidottu, Englanti, 2002