"is not 6, 7, or 8"