File:The hat problem.png