Add PRODUCT procedure and specs