naiveProd command