formalproduct

formalproduct