Cyclic subgroup separability and virtual specialness conjecture. The following conditions on GGG should be equivalent:
