Yes, all of the above. Plus, those same sorts of policies keep the US employment rolls lower. More people would be employed if the full time work week was 30 hours (time and a half above that), for instance.