3 ms·Another metric could be time. Do people work less hours?by timeon 1y agoAnother metric could be time. Do people work less hours?