?andb^g : pro'