stable recursive G