Small changes to theory of functions for CG