but(prod)