Now up to debuggging the a*