Discussion: Roger Stone and the GRU