"Witness set"@en . . . .