Update Chord.tla