Theorems for GC and updated abstract.