fin.prod_univ_succ source