On 2/10/2018 7:14 AM, Dmitry Olshansky wrote: > RC is a form of GC. Pedantically, yes. But common usage regards the two as disjoint, and it's inconvenient to treat RC as a subset of GC when discussing tradeoffs between the two. Nobody bothers with s/GC/GC excluding RC/.