revise infinite monkey theorem