Regarding this section of the docs: http://icfpc.plt-scheme.org/bdk/#server My question is on this: To change one of the cops, use --copA, --copB, --copC, --copD, or --copE, which sets the first, second, third, fourth, or fifth cop, respectively. For example, the following command uses mycop for two of the cops in a game: % server --robber "myrobber 11" --copB "mycop 7" --copC "mycop 0" My question is: "what occurs in this case for cops a,d, and e since nothing is specified" ?