Comment on Edward C. Prescott's Theory Ahead of Business Cycle Measurement