Applying formal methods 5.
	measure-start segments and their connections