yes this "formally"...regarding Free(G) i dont know if you are right or not..