All roads lead to Rome: the proof of the Road Colouring Conjecture (ChCh, Tom Gate, Room 2)