[Jarwain]

The machine itself would ideally not be a black box, so Bob could verify that the machine places 3 identical cards