I haven't done part 2 yet, perhaps I will try tonight. ( and there is a proof of correctness of part I that I think should be added) But le[…]