Applying formal methods 5.

• measure-start segments and their connections