Started a scratchpad on theoretical correctness of my doings