*. The first n∣forcement of the second.