Applying formal methods 1.
	matches: the longest sequences on measure-starts avoid variants