Part 1 – B: Initial state of M_2 is s_0.
Part 1 – A2: Fixed wrong label in mode. Result does not change.
Part 1 B: More todos and interesting suggestions to make it better.