witness-puzzle-example