type Bush(a) = a + Bush(a*a)