foreproduct

not defined yet