prod_eq @ work