Heidi (a mathematical challenge)