Quadruple Product Rule