Allright thanks for the explanations, this is much much clearer now. I think all of the above should be explicitly documented as in-line comments in the source code.