I think I should not define a in the first place.