Rules of Reduction — PineHD — PineHD