Added law for number of vertices for trail