Add monkey theorem