Jef Staes and the Red monkey theorem