G = 3 R = ^{ if G > 0 { G = G - 1 R } } R