All tagged hyperdub