Place gears on the grid, link them, give every gear its teeth, then hide some (they become the tray) and mark outputs. The checker tells you if the answer is unique and reachable by logic.