In a benefit concert each of exactly seven solo performers— Harris, Jones, McIntyre, Nelson, Strapp, Trevino, and Williams— will sing. The concert director is deciding the order in which the performers will sing and is assigning each to exactly one of seven time slots, numbered consecutively 1 through 7, according to the following conditions:
Harris must sing at some time before McIntyre sings. Strapp must sing at some time before Jones sings.
Trevino must sing either immediately before or immediately after Nelson sings.
Williams must be assigned to time slot 3.