All tagged infinite monkey theorem