[SF2.3] prod