Text this: Cauchy G-spaces: Local convexity