compute the expected number of changes along a branch, and show that it is the same as the branch length under the traditional interpretation