implement physical product rule